Type system

Type checker prototype for dynamic languages

A prototype in OCaml for my research about typing dynamic languages with parametric polymorphism and intersection types.