-
1
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Published 2016Subjects: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter