Polymorphic Unification and ML Typing.

Paris C. Kanellakis, John C. Mitchell

Browse the full POPL paper archive.