A second look at overloading
Martin Odersky, Philip L. Wadler, Martin Wehr · 1995
We study a minimal extension of the Hindley/Milner system that supports overloading and polymorphic records.We show that the type system is sound with respect to a standard untyped compositional semantics.We also show that every typable term in this system has a principal type and give an algorithm to reconstruct that type.