Search Results - "functional programming"
Suggested Topics within your search.
Suggested Topics within your search.
-
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 -
2
Edge Computing for Internet of Things
Published 2022Subjects: “…functional programming…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter