The worker/wrapper transformation
Journal of Functional Programming
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Generic programming with adjunctions
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
A Relation Between Unambiguous Regular Expressions and Abstract Data Types
Fundamenta Informaticae
Unifying structured recursion schemes
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Adjoint folds and unfolds-An extended study
Science of Computer Programming
Type-changing rewriting and semantics-preserving transformation
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.01 |