An experiment in partial evaluation: the generation of a compiler generator. Pages 124–140 of: Jouannaud, JeanPierre (ed), Rewriting techniques and applications. Springer-Verlag LNCS (1985)

by Neil D Jones, Peter Sestoft, Harald Søndergaard