Polymorphic Type Inference for Dynamic Languages

Giuseppe Castagna, Mickaƫl Laurent & Kim Nguyen
We present a type system that combines, in a controlled way, first-order polymorphism with intersectiontypes, union types, and subtyping, and prove its safety. This makes the system a prime candidate to type dynamic languages.

Type checker prototype for dynamic languages

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