The call-by-need lambda calculus, submitted to the (1995)

by J Maraist, M Odersky, P Wadler
Venue:Journal of Functional Programming (Cambridge