Call by Name, Assignment, and the Lambda Calculus

Martin Odersky, Dan Rabin, Paul Hudak. Call by Name, Assignment, and the Lambda Calculus. In POPL. pages 43-56, 1993.

Abstract

Abstract is missing.