A Second Look at Overloading

Martin Odersky, Philip Wadler, Martin Wehr

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationFPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Number of pages12
ISBN (Print)0-89791-719-7
Publication statusPublished - 1995


Dive into the research topics of 'A Second Look at Overloading'. Together they form a unique fingerprint.

Cite this