The call-by-need lambda calculus (1998)

by MOW98 J Maraist, M Odersky, P Wadler
Venue:J. Funct. Programming