EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (157 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA608953
Titel A second look at overloading.
Autor Odersky, Martin
Wadler, Philip
Wehr, Martin
Institution Fakultät für Informatik (INFORMATIK)
Institut für Programmstrukturen und Datenorganisation (IPD)
Dokumenttyp Buch
Jahr 1995
Erscheinungsvermerk Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,3.)
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.