The structure of a self-applicable partial evaluator (0)

by P Sestoft
Venue:In H. Ganzinger and N.D