A call-by-need lambda calculus (1995)

by Z Ariola, M Felleisen, J Mariast, M Odersky, P Wadler
Venue:In Proceedings of the 22nd ACM Symposium on Principles of Programming Languages