Compositional type checking for Haskell
-
Updated
Apr 14, 2011 - Haskell
#
typechecker
Here are 10 public repositories matching this topic...
An implementation of structural subtyping of records and functions
-
Updated
Jul 14, 2018 - Haskell
Compositional type checking for a Hindley-Milner type system
-
Updated
Mar 28, 2017 - Haskell
Dependently-typed language w/ little to say for itself
-
Updated
Mar 29, 2018 - Haskell
☁️ Wolke language interpreter ☁️
-
Updated
Sep 4, 2022 - Haskell
Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.
-
Updated
May 2, 2022 - Haskell
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
typechecker pattern-matching type-system system-f parametric-polymorphism universal-quantifiers simply-typed-lambda-calculus
-
Updated
Aug 5, 2017 - Haskell
Repositório de projetos solicitados na disciplina Linguagens de Programação durante o semestre 2023.1
-
Updated
Jul 28, 2023 - Haskell
Alternative implementation of the logical framework Dedukti
-
Updated
Nov 21, 2019 - Haskell
We have invented the arithmetic logic programming language called as PP. We had to create parser, type check and eval which let you play with that language.
-
Updated
Jun 15, 2017 - Haskell
Improve this page
Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."