KIT | KIT-Bibliothek | Impressum | Datenschutz

A call-by-need lambda calculus

Ariola, Zena M.; Felleisen, Matthias; Maraist, John; Odersky, Martin; Wadler, Philip

Open Access Logo


Volltext §
DOI: 10.5445/IR/367796
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1995
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA3677960
KITopen-ID: 367796
Erschienen in Proceedings. 22nd ACM Symposium on Principles of Programming Languages, POPL 95, 1995
Seiten 233-246
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page