Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-26462
Titel: Type inference for O´small
Verfasser: Hense, Andreas V.
Sprache: Englisch
Erscheinungsjahr: 1991
Freie Schlagwörter: polymorphic type inference
assignments
recursive types
row variables
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: Type inference for the \lambda-calculus with records was investigated by Remy and also by Wand. In this paper we specialize Wands approach in order to obtain principal types. We develop a novel technique for the treatment of imperative constructs that fits well with Wands type inference. The result is type inference for a \lambda-calculus with records and imperative features. One application of this result is type checking for the object-oriented language OSMALL.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-51545
hdl:20.500.11880/26518
http://dx.doi.org/10.22028/D291-26462
Schriftenreihe: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Band: 1991/06
SciDok-Publikation: 4-Apr-2013
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
fb14_1991_06.pdf11,42 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.