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

by Martin Odersky, Dan Rabin, Paul Hudak
Venue:In Proc. ACM Symposium on Principles of Programming Languages