Listlessness is better than laziness: an algorithm that transforms applicative programs to eliminate intermediate lists

Rules and strategies for transforming functional and logic programs

ACM Computing Surveys (CSUR)

A functional representation of data structures with a hole

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming

Rules + strategies for transforming lazy functional logic programs

Theoretical Computer Science

Selected AI-related dissertations

ACM SIGART Bulletin

Recursive type generativity

Journal of Functional Programming