Equational logic as a programming language
Equational logic as a programming language
Compiling equational programs into efficient machine code
Compiling equational programs into efficient machine code
Classes of equational programs that compile into efficient machine code
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
Deforestation: transforming programs to eliminate trees
Proceedings of the Second European Symposium on Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Self-Applicable Partial Evaluator for Term Rewriting Systems
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
An Abstract Machine for Efficient Implementation of Term Rewriting
An Abstract Machine for Efficient Implementation of Term Rewriting
Lazy Directed Congruence Closure
Lazy Directed Congruence Closure
Tutorial notes on partial evaluation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimizing term rewriting using discrimination nets with specialization
Proceedings of the 1999 ACM symposium on Applied computing
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |