Polymorphism, subtyping, and type inference in MLsub
Stephen K. Dolan, Alan Mycroft · 2016
We present a type system combining subtyping and ML-style parametric polymorphism. Unlike previous work, our system supports type inference and has compact principal types. We demonstrate this system in the minimal language MLsub, which types a strict superset of core ML programs.