Call-By-Name CPS-Translation as a Binding-Time Improvement

Two for the price of one: composing partial evaluation and compilation

Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation

CPS Translations and Applications: The Cube and Beyond

Higher-Order and Symbolic Computation

Introduction to Supercompilation

Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School

A computational formalization for partial evaluation

Mathematical Structures in Computer Science