Polymorphic unification and ML typing (1989)

by Paris C Kanellakis, John C Mitchell
Venue:In 16th ACM conf. on Principles Of Programming Languages