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