The Call-by-Need Lambda Calculus (1994)

by John Maraist, Martin Odersky, Philip Wadler
Venue:Journal of Functional Programming