Summary: A Call­By­Need Lambda Calculus
Zena M. Ariola
Computer & Information Science Department
University of Oregon
Eugene, Oregon
Matthias Felleisen
Department of Computer Science
Rice University
Houston, Texas
John Maraist and Martin Odersky
Institut f¨ur Programmstrukturen
Universit¨at Karlsruhe
Karlsruhe, Germany
Philip Wadler
Department of Computing Science
University of Glasgow
Glasgow, Scotland
Abstract
The mismatch between the operational semantics of the
lambda calculus and the actual behavior of implemen­

Source: Ariola, Zena M. - Department of Computer and Information Science, University of Oregon

Collections: Computer Technologies and Information Sciences