EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (185 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA266965
Titel Type inference with constrained types.
Autor Sulzmann, Martin
Odersky, Martin
Wehr, 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,28.)
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.