KIT | KIT-Bibliothek | Impressum | Datenschutz

Type inference with constrained types

Sulzmann, Martin; Odersky, Martin; Wehr, Martin

Abstract:

In this paper we present a general framework HM(X) for
Hindley/Milner style type systems with constraints, analogous
to the CLP(X) framework in constrained logic programming.
We present sufficient conditions on the constraint domain X
so that the principal types property carries over to HM(X).
The conditions turn out to be fairly simple and natural.

The usage of the aproach is demonstrated in instantion
of parameter X with several known type disciplines.
We consider extensible records, typeclasses, overloading
and subtyping.

Open Access Logo


Volltext §
DOI: 10.5445/IR/26696
Cover der Publikation
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-AAA266965
KITopen-ID: 26696
Erscheinungsvermerk Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,28.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page