An abstract machine for Lambda-terms normalization
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
An abstract frame work for environment machines
Theoretical Computer Science
The discoveries of continuations
Lisp and Symbolic Computation - Special issue on continuations—part I
The next 700 programming languages
Communications of the ACM
Definitional Interpreters Revisited
Higher-Order and Symbolic Computation
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
State transition machines for lambda calculus expressions
Semantics-Directed Compiler Generation, Proceedings of a Workshop
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Deriving a lazy abstract machine
Journal of Functional Programming
A concrete framework for environment machines
ACM Transactions on Computational Logic (TOCL)
A concrete framework for environment machines
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |