The call-by-need lambda calculus (1995)

by Zena M Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler
Venue:In POPL