Parameter-Passing and the Lambda Calculus (1991)

by Erik Crank , Matthias Felleisen
Citations:187 - 23 self

Document Versions

Parameter-Passing and the Lambda Calculus –Erik Crank, Matthias Felleisen — 1991
A Call-By-Need Lambda Calculus –Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler — 1995
The Call-By-Need Lambda Calculus –Zena Ariola, Matthias Felleisen — 1995
The Call-By-Need Lambda Calculus –Zena Ariola, Matthias Felleisen — 1993