Call-by-name, call-by-value, and the lambda calculus (1993)

by M Odersky, D Rabin, P Hudak
Venue:In Proc. 20th ACM Symposium on Principles of Programming Languages