KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA667943

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.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buch
Jahr 1994
Sprache Englisch
Identifikator 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