EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (325 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA179964
Titel Proof of the principal type property for system O.
Autor Wehr, Martin
Odersky, Martin
Institution Fakultät für Informatik (INFORMATIK)
Institut für Programmstrukturen und Datenorganisation (IPD)
Dokumenttyp Buch
Jahr 1996
Erscheinungsvermerk Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,16.)
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.