A second look at overloading
Abstract:
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.
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Buch |
| Publikationsjahr | 1995 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-AAA608953 KITopen-ID: 60895 |
| Erscheinungsvermerk | Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,3.) |