Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Hypertypes - generic programming for heterogeneous recursive types

The Ntha Programming Language

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

Template for Hindley-Milner based languages

a library for experimental linear lambda calculus

🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/

typing haskell in haskell

A compiler for a little statically-typed language implemented in Haskell.

Implementation of type classes

Toy implementation of type inference for GADTs and TypeFamilies

A compiler for a type inferred, functional language with adts, records and pattern matching, targeting JavaScript. This repo is a mirror.

A statically typing programming language implemented in Haskell.

🧐 Another Hindley-Milner implementation in Haskell

An interpreter written in Haskell for a gradually typed functional language

Stuff related to my Ph.D. research

Bidirectional type inference with wildcards, or "unidirectional type inference"

Implementing numerous functions in Haskell that test core knowledge of haskell and understanding of the type inference in the lambda calculus.

Hindley–Milner types inference algorithm