Director strings as combinators
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lazy evaluation and the logic variable
ICS '88 Proceedings of the 2nd international conference on Supercomputing
Comparing Two Functional Programming Systems
IEEE Transactions on Software Engineering
Polymorphic unification and ML typing
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Continuation-passing, closure-passing style
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
E-CCC: between CCC and topos, - its expressive power from the viewpoint of data type theory
Journal of Symbolic Computation
The spineless tagless G-machine
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systems
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Space-efficient closure representations
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Functional back-ends within the lambda-sigma calculus
Proceedings of the first ACM SIGPLAN international conference on Functional programming
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A simple applicative language: mini-ML
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Semantics directed compiling for functional languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Implementing functional languages in the Categorical Abstract Machine
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Efficient and safe-for-space closure conversion
ACM Transactions on Programming Languages and Systems (TOPLAS)
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Explicit Substitutions and Programming Languages
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Compiling for template-based run-time code generation
Journal of Functional Programming
A back-end for GHC based on categorical multi-combinators
Proceedings of the 2004 ACM symposium on Applied computing
Functional runtime systems within the lambda-sigma calculus
Journal of Functional Programming
Central European Functional Programming School
Categorical Combinators With Explicit Products
Fundamenta Informaticae
Hi-index | 0.00 |