Strong normalization and parametricity for System Fω in Coq
-
Updated
Sep 10, 2024 - Coq
Strong normalization and parametricity for System Fω in Coq
SPCF: Interpreter Development and Affine Program Transformation Showcase
SPCF: Interpreter Development and Affine Program Transformation Showcase
Using the techniques of denotational design for modular arithmetic
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
Denotational semantics for the masses
language verification, construction, and analysis
Записки по курса ,,Семантика на езиците за програмиране"
Ph.D dissertation website
Formalization of the polymorphic lambda calculus and its parametricity theorem
Programming Languages
An interpreter for Denotational Semantics of While language
Another functional library. Detonational syntax lazy evaluation, eager evaluation, and for the reactive model.
Add a description, image, and links to the denotational-semantics topic page so that developers can more easily learn about it.
To associate your repository with the denotational-semantics topic, visit your repo's landing page and select "manage topics."