Legal full-text edition
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell IsabelleQA75.5-76.95
Rights
Public-domain status shown for GLOBAL. DOAB open-access record with explicit license: CC-BY-SA
Public-domain status shown for GLOBAL. DOAB open-access record with explicit license: CC-BY-SA