Linearisation: an optimisation for nonlinear functional programs

Transformations on higher-order functions

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture

Teaching some modern functional programming concepts: an approach based on an extended FP-like language

ACM SIGCSE Bulletin

Online partial deduction of logic programs

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

From recursion to iteration: what are the optimizations?

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation