Martin Odersky Dan Rabin Paul Hudak Call by Name, Assignment, and the Lambda Calculus. 43-56 1993 POPL db/conf/popl/popl93.html#OderskyRH93