KIT | KIT-Bibliothek | Impressum | Datenschutz

Proof of the principal type property for system O

Wehr, Martin; Odersky, Martin

Abstract:


We study a minimal extension of the Hindley/Milner system that
supports overloading and polymorphic records.
We also show that every typable term in this system has a
principal type and give an algorithm to reconstruct that type.
We give the proofs for termination, soundness and correctness for
the constrained unification and the type reconstruction algorithm.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buch
Publikationsjahr 1996
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA179964
KITopen-ID: 17996
Erscheinungsvermerk Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,16.)

Volltext §
DOI: 10.5445/IR/17996
Seitenaufrufe: 130
seit 11.05.2019
Downloads: 205
seit 12.04.2009
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page