A strongly-typed self-applicable partial evaluator (1991)

by John Launchbury
Venue:In Proceedings of the 1991 Conference on Functional Programming Languages and Computer Architecture