Implementations of various type systems in OCaml. - View it on GitHub