denotational-semantics
There are 14 repositories under denotational-semantics topic.
Lysxia/system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
joelburget/lvca
language verification, construction, and analysis
siraben/r5rs-denot
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
input-output-hk/ce-semantics-dsl
Denotational semantics for the masses
stefk0/sep
Записки по курса ,,Семантика на езиците за програмиране"
ccamacho/phd
Ph.D dissertation website
AndreiCNitu/while
Compiler for the While language
AtticusKuhn/modularArithmetic
Using the techniques of denotational design for modular arithmetic
D33pBlue/While-DS-interpreter
An interpreter for Denotational Semantics of While language
jayrabjohns/dissertation-refactoring-spcf
SPCF: Interpreter Development and Affine Program Transformation Showcase
pbougou/proglangs
Programming Languages
wangshanyw/CS263-Programming-Language-Project
CS263 Programming Language Project
Aryailia/denotational
Another functional library. Detonational syntax lazy evaluation, eager evaluation, and for the reactive model.
jayrabjohns/Dissertation
SPCF: Interpreter Development and Affine Program Transformation Showcase