Suggested Topics within your search.
Showing 1 - 5 results of 5 for search '"functional programming"', query time: 0.04s Refine Results
  1. 1
    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

    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
    Save to List
    Saved in:
  2. 2
    Edge Computing for Internet of Things

    Edge Computing for Internet of Things

    Published 2022
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  3. 3
    Structure and Interpretation of Computer Programs

    Structure and Interpretation of Computer Programs by Abelson, Harold

    Published 1996
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  4. 4
    Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml

    Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml by Wang, Liang

    Published 2023
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  5. 5
    Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml

    Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml by Wang, Liang

    Published 2023
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:

Search Tools: