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

by Torben Mogenson
Venue:Yale University Department of Computer Science