tomprimozic / type-systems
Implementations of various type systems in OCaml.
☆1,531Updated 9 years ago
Related projects: ⓘ
- A functional programming language based on algebraic effect handlers☆858Updated last week
- The Hindley Milner Type Inference Algorithm☆358Updated 7 years ago
- Programming Languages Zoo☆1,445Updated 3 months ago
- Functional programming with fewer indirections☆758Updated 4 years ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,164Updated 5 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆951Updated last month
- Multicore OCaml☆763Updated last year
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆694Updated 3 years ago
- The MLton repository☆945Updated last month
- Liquid Types For Haskell☆1,181Updated this week
- A Dependently Typed Functional Programming Language☆3,427Updated last month
- Haskell Research Compiler☆816Updated last year
- Shell programming, Haskell style☆940Updated 3 months ago
- Miscellaneous articles. The readme is the table of contents.☆1,249Updated last year
- lamdu - towards the next generation IDE