Type-directed partial evaluation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
How to circumvent church numerals
Nordic Journal of Computing
Type-Directed Partial Evaluation
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
An adequate and efficient left-associated binary numeral system in the λ-calculus
Journal of Functional Programming
A construction of one-point bases in extended lambda calculi
Information Processing Letters
Hi-index | 0.00 |