An algorithm for optimal lambda calculus reduction
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The geometry of optimal lambda reduction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Paths, computations and labels in the &lgr;-calculus
RTA-93 Selected papers of the fifth international conference on Rewriting techniques and applications
deltao!Epsilon = 1 - Optimizing Optimal lambda-Calculus Implementations
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
The Bologna Optimal Higher-Order Machine
The Bologna Optimal Higher-Order Machine
Interaction Systems II: The Practice of Optimal Reductions
Interaction Systems II: The Practice of Optimal Reductions
Linear Logic, Comonads And Optimal Reductions
Fundamenta Informaticae
Optimality and inefficiency: what isn't a cost model of the lambda calculus?
Proceedings of the first ACM SIGPLAN international conference on Functional programming
On global dynamics of optimal graph reduction
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Parallel beta reduction is not elementary recursive
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
(Optimal) duplication is not elementary recursive
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel beta reduction is not elementary recursive
Information and Computation
(Optimal) duplication is not elementary recursive
Information and Computation
The weak lambda calculus as a reasonable machine
Theoretical Computer Science
An invariant cost model for the lambda calculus
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
| Hi-index | 0.00 |