Custom cover image
Custom cover image

Lazy Evaluation : from natural semantics to a machine-checked compiler transformation / by Joachim Breitner

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Publisher: Karlsruhe : KIT Scientific Publishing, [2016]Description: 1 Online-Ressource (xiv, 231 Seiten) : IllustrationenISBN:
  • 9783731505464
Subject(s): Genre/Form: Additional physical formats: Erscheint auch als: Lazy Evaluation. Druck-Ausgabe Karlsruhe : KIT Scientific Publishing, 2016. xiv, 231 Seiten | Erscheint auch als: Lazy Evaluation: From natural semantics to a machine-checked compiler transformation. Druck-Ausgabe. Karlsruhe, Baden : KIT Scientific Publishing, 2016. XIV, 231 S., 256 Seiten, graph. DarstDDC classification:
  • 004
  • 004
DOI: DOI: 10.5445/KSP/1000056002Online resources: Dissertation note: Dissertation - Karlsruhe, Karlsruher Institut für Technologie (KIT), 2016 PPN: PPN: 874115981Package identifier: Produktsigel: GBV-ODiss | ZDB-104-KIT
No physical items for this record
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT

Powered by Koha