Partial Evaluation

Partial Evaluation: Principles and Perspectives

Charles Consel and Olivier Danvy (misc, 1993)

Optimization of equational programs using partial evaluation

Durand, Ir\`ene and Sherman, David J. and Strandh, Robert I. (inproceedings, 1991)

Type Specialisation for the Lambda-calculus; or, A New Paradigm for Partial Evaluation based on Type Inference

John Hughes (misc, 1996)

A Declarative Approach to Run-Time Code Generation

Leone, Mark and Lee, Peter (inproceedings, 1996)

Partial Evaluation in Reflective System Implementations

Erik Ruf (inproceedings, 1993)

Dynamic Typing as Staged Type Inference

Mark Shields and Tim Sheard and Simon Peyton Jones[ (ed)] (inproceedings, 1998)