denotational-semantics

There are 0 repository under denotational-semantics topic.

Lysxia / system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
coq system-f parametricity polymorphism lambda-calculus formalization denotational-semantics
Language:Coq 32
r5rs-denot
siraben / r5rs-denot
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
scheme haskell denotational-semantics r5rs-scheme scheme-interpreter monad-transformers
Language:Haskell 20
joelburget / lvca
language verification, construction, and analysis
denotational-semantics language language-workbench parsing pretty-printing programming-language typechecking
Language:OCaml 19
input-output-hk / ce-semantics-dsl
Denotational semantics for the masses
denotational denotational-semantics semantics dsl edsl scala3 tagless-final
Language:Scala 7
stefk0 / sep
Записки по курса ,,Семантика на езиците за програмиране"
teaching-materials programming-languages denotational-semantics operational-semantics
Language:TeX 4
ccamacho / phd
Ph.D dissertation website
software-product-lines foda formal-methods process-algebras operational-semantics denotational-semantics axiomatic-semantics
Language:HTML 2
AndreiCNitu / while
Compiler for the While language
compiler denotational-semantics
Language:Haskell 1
AtticusKuhn / modularArithmetic
Using the techniques of denotational design for modular arithmetic
denotational-semantics
Language:Agda 1
D33pBlue / While-DS-interpreter
An interpreter for Denotational Semantics of While language
denotational-semantics software-verification parsing
Language:Python 1
pbougou / proglangs
Programming Languages
programming-languages interpreter frama-c garbage-collection type-inference haskell axiomatic-semantics denotational-semantics scripting-languages algorithms
Language:C 0
wangshanyw / CS263-Programming-Language-Project
CS263 Programming Language Project
denotational-semantics steps-semantics
Language:Coq 0
Aryailia / denotational
Another functional library. Detonational syntax lazy evaluation, eager evaluation, and for the reactive model.
utilities denotational-semantics functional-programming lazy-evaluation reactive-streams
Language:JavaScript
jayrabjohns / Dissertation
SPCF: Interpreter Development and Affine Program Transformation Showcase
denotational-semantics dissertation interpreter lambda-calculus spcf
Language:TeX
jayrabjohns / dissertation-refactoring-spcf
SPCF: Interpreter Development and Affine Program Transformation Showcase
denotational-semantics dissertation interpreter lambda-calculus spcf
Language:Haskell