"Polymorphism, subtyping, and type inference in MLsub."

Stephen Dolan, Alan Mycroft (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics