Call by Name, Assignment, and the Lambda Calculus.

Martin Odersky, Dan Rabin, Paul Hudak

Browse the full POPL paper archive.