Call by name, assignment, and the lambda calculus (1993)

by D Rabin M Ordersky, P Hudak
Venue:In Conference Records of the 20th ACM Symposium on Principles of Programming Languages