Topic: "denotational-semantics"
Lysxia/system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
Language: Coq - Size: 12.7 KB - Last synced at: 24 days ago - Pushed at: about 1 month ago - Stars: 34 - Forks: 2
siraben/r5rs-denot
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
Language: Haskell - Size: 321 KB - Last synced at: 28 days ago - Pushed at: over 2 years ago - Stars: 21 - Forks: 2
joelburget/lvca
language verification, construction, and analysis
Language: OCaml - Size: 9.41 MB - Last synced at: 3 days ago - Pushed at: about 3 years ago - Stars: 20 - Forks: 0
input-output-hk/ce-semantics-dsl
Denotational semantics for the masses
Language: Scala - Size: 1.54 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 2
stefk0/sep
Записки по курса ,,Семантика на езиците за програмиране"
Language: TeX - Size: 805 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 1
yiyunliu/system-f-omega
Strong normalization and parametricity for System Fω in Coq
Language: Coq - Size: 235 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 3 - Forks: 1
ccamacho/phd
Ph.D dissertation website
Language: HTML - Size: 38.2 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
AtticusKuhn/modularArithmetic
Using the techniques of denotational design for modular arithmetic
Language: Agda - Size: 17.6 KB - Last synced at: 16 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
D33pBlue/While-DS-interpreter
An interpreter for Denotational Semantics of While language
Language: Python - Size: 984 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 1
jayrabjohns/dissertation-refactoring-spcf
SPCF: Interpreter Development and Affine Program Transformation Showcase
Language: Haskell - Size: 490 KB - Last synced at: 16 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
jayrabjohns/Dissertation
SPCF: Interpreter Development and Affine Program Transformation Showcase
Language: TeX - Size: 1.18 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
wangshanyw/CS263-Programming-Language-Project
CS263 Programming Language Project
Language: Coq - Size: 785 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
pbougou/proglangs
Programming Languages
Language: C - Size: 1.15 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
Aryailia/denotational
Another functional library. Detonational syntax lazy evaluation, eager evaluation, and for the reactive model.
Language: JavaScript - Size: 51.8 KB - Last synced at: 10 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
