A call by need lambda calculus (1995)

by Z M Felleisen Ariola, M Maraist, J Odersky, M, P Wadler
Venue:Conf. Rec. 22nd Ann. ACM Symp. Princ. Program. Lang. ACM