A call-by-need lambda calculus (1995)

by Z M Ariola, M Felleisen, J Maraist, M Odersky, P Wadler
Venue:In POPL’95