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
Publikationsdatum 31.01.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