Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A CallByNeed Lambda Calculus Zena M. Ariola
 

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