KIT | KIT-Bibliothek | Impressum | Datenschutz

A second look at overloading

Odersky, Martin; Wadler, Philip; Wehr, Martin

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.

Open Access Logo


Volltext §
DOI: 10.5445/IR/60895
Cover der Publikation
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.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page