Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25774
Titel: Dynamic opacity for abstract types
Verfasser: Rossberg, Andreas
Sprache: Englisch
Erscheinungsjahr: 2002
SWD-Schlagwörter: Typisierter Lambda-Kalkül
Freie Schlagwörter: Kalkül für polymorphe Sprachen
Abstract Types
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: Existential types are the standard formalisation of abstract types. While this formulation is sufficient in entirely statically typed languages, it proves to be too weak for languages enriched with forms of dynamic typing: in the presence of operations performing type analysis, the abstraction barrier erected by the static typing rules for existential types is no longer impassable, because parametricity is violated. We present a light-weight calculus for polymorphic languages with abstract types that addresses this shortcoming. It features a variation of existential types that retains most of the simplicity of standard existentials. It relies on modified scoping rules and explicit coercions between the quantified variable and its witness type.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-2925
hdl:20.500.11880/25830
http://dx.doi.org/10.22028/D291-25774
SciDok-Publikation: 12-Jul-2004
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 
opaque.pdf197,89 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.