The structure of a self-applicable partial evaluator.

Peter Sestoft
Published in: Programs as Data Objects (1985)