The specificity rule for lazy pattern-matching in ambiguous term rewrite systems

Compiling lazy pattern matching

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

A needed narrowing strategy

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Lazy rewriting on eager machinery

ACM Transactions on Programming Languages and Systems (TOPLAS)

A needed narrowing strategy

Journal of the ACM (JACM)

Functional logic overloading

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Term indexing

Handbook of automated reasoning

Optimising parallel pattern-matching by source-level program transformation

ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38