Compositional type checking for Haskell
-
Updated
Apr 14, 2011 - Haskell
Compositional type checking for Haskell
Compositional type checking for a Hindley-Milner type system
Toy Compiler for ERPLAG
A native module for effectively validating if a value is type Number.
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.
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
A type checker for dynamically typed JavaScript
Dependently-typed language w/ little to say for itself
Type-Checking Function Arguments for Humans™
An implementation of structural subtyping of records and functions
Parser and Syntaxchecker for the "minigo" language, written with flex/bison
Disable HHVM's automatic calls to the Hack typechecker
This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.
Variant of TypeScript with interfaces that express complex constraints on the presence of its properties
Cure for being paranoia about parameters which are coming in every single wrong way to our functions.
Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.
To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."