From operational semantics to abstract machines: preliminary results
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Partial Evaluation of the Euclidian Algorithm
Lisp and Symbolic Computation
Lambda-Lifting in Quadratic Time
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
A symmetric approach to compilation and decompilation
The essence of computation
ACM SIGPLAN Lisp Pointers
Defunctionalized interpreters for programming languages
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
| Hi-index | 0.00 |