TIM: A simple, lazy abstract machine to execute supercombinators
Proc. of a conference on Functional programming languages and computer architecture
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
List processing in real time on a serial computer
Communications of the ACM
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
A combinator-based compiler for a functional language
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An abstract machine for Lambda-terms normalization
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Strictness optimization for graph reduction machines (why id might not be strict)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rationalized three instruction machine
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
A systematic study of functional language implementations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving a lazy abstract machine
Journal of Functional Programming
Improving the lazy Krivine machine
Higher-Order and Symbolic Computation
Strongly reducing variants of the Krivine abstract machine
Higher-Order and Symbolic Computation
| Hi-index | 0.00 |