Polymorphism, subtyping, and type inference in MLsub.

Stephen Dolan, Alan Mycroft

Browse the full POPL paper archive.