Formalization of the polymorphic lambda calculus and its parametricity theorem
-
Updated
May 2, 2019 - Coq
#
denotational-semantics
Here are 15 public repositories matching this topic...
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
-
Updated
Jan 19, 2023 - Haskell
language verification, construction, and analysis
language
programming-language
parsing
typechecking
denotational-semantics
language-workbench
pretty-printing
-
Updated
Apr 2, 2022 - OCaml
Denotational semantics for the masses
-
Updated
Oct 17, 2022 - Scala
Записки по курса ,,Семантика на езиците за програмиране"
-
Updated
Jan 14, 2022 - TeX
Ph.D dissertation website
formal-methods
software-product-lines
foda
process-algebras
operational-semantics
denotational-semantics
axiomatic-semantics
-
Updated
Aug 8, 2020 - HTML
Using the techniques of denotational design for modular arithmetic
-
Updated
Sep 5, 2023 - Agda
An interpreter for Denotational Semantics of While language
-
Updated
Apr 11, 2018 - Python
Strong normalization and parametricity for System Fω in Coq
-
Updated
Sep 10, 2024 - Coq
Programming Languages
haskell
interpreter
algorithms
garbage-collection
programming-languages
type-inference
scripting-languages
frama-c
denotational-semantics
axiomatic-semantics
-
Updated
Dec 14, 2018 - C
Another functional library. Detonational syntax lazy evaluation, eager evaluation, and for the reactive model.
-
Updated
Jan 28, 2018 - JavaScript
SPCF: Interpreter Development and Affine Program Transformation Showcase
-
Updated
Aug 10, 2024 - Haskell
SPCF: Interpreter Development and Affine Program Transformation Showcase
-
Updated
May 3, 2024 - TeX
Improve this page
Add a description, image, and links to the denotational-semantics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the denotational-semantics topic, visit your repo's landing page and select "manage topics."