KIT | KIT-Bibliothek | Impressum | Datenschutz

The call-by-need lambda calculus (unabridged)

Maraist, John; Odersky, Martin; Wadler, Phil

Abstract:


We present a calculus that captures the operational semantics of
call-by-need.We demonstrate that the calculus is confluent and
standardizable and entails the same observational equivalences as
call-by-name lambda calculus.


Volltext §
DOI: 10.5445/IR/66794
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buch
Publikationsjahr 1994
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA667943
KITopen-ID: 66794
Erscheinungsvermerk Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,28.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page