Higher-Order and Symbolic Computation
Contification using dominators
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Type-Based Useless-Variable Elimination
Higher-Order and Symbolic Computation
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Lambda-Lifting in Quadratic Time
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
The abstraction and instantiation of string-matching programs
The essence of computation
Specification and correctness of lambda lifting
Journal of Functional Programming
Formalization and abstract implementation of rewriting with nested rules
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
On Barron and Strachey's cartesian product function
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Defunctionalized interpreters for programming languages
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Optimal Lambda Lifting in Quadratic Time
Implementation and Application of Functional Languages
The very lazy λ-calculus and the STEC machine
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
A functional approach to generic programming using adaptive traversals
Higher-Order and Symbolic Computation
Weak optimality, and the meaning of sharing
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |