Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards a semantic theory for equational programming languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Remarks on Thatte's transformation of term rewriting systems
Information and Computation
Hi-index | 0.89 |