KIT | KIT-Bibliothek | Impressum | Datenschutz

The Correctness of Launchbury's Natural Semantics for Lazy Evaluation

Breitner, Joachim



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 2013
Sprache Englisch
Identifikator ISSN: 2150-914x
KITopen-ID: 1000038441
Erschienen in Archive of Formal Proofs
Band 2013
Heft 1
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page