The Call-by-Need Lambda Calculus.

Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler

Browse the full POPL paper archive.