Design and implementation of a generic, logic and functional programming language

A rewrite-based type discipline for a subset of computer algebra

Journal of Symbolic Computation

A needed narrowing strategy

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

Specialization of lazy functional logic programs

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

A unified computation model for functional and logic programming

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Partial evaluation of functional logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

A needed narrowing strategy

Journal of the ACM (JACM)

Conditional narrowing without conditions

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming

On the meaning of "but"

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design

Lazy narrowing with simplification

Computer Languages