Self-applicable partial evaluation for pure lambda calculus (1992)

by Torben
Venue:Yale University Department of Computer Science Research