Search Results - "functional programming"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by Breitner, Joachim

    Published 2016
    Subjects: “…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. 2

    Edge Computing for Internet of Things

    Published 2022
    Subjects: “…functional programming…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter