Eingang zum Volltext in SciDok

Hinweis zum Urheberrecht

Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-2925

Dynamic opacity for abstract types

Rossberg, Andreas

Dokument 1.pdf (198 KB)

Bookmark bei Connotea Bookmark bei
SWD-Schlagwörter: Typisierter Lambda-Kalkül
Freie Schlagwörter (Deutsch): Kalkül für polymorphe Sprachen
Freie Schlagwörter (Englisch): Abstract Types
Institut: Fachrichtung 6.2 - Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Report (Bericht)
Sprache: Englisch
Erstellungsjahr: 2002
Publikationsdatum: 12.07.2004
Kurzfassung auf Englisch: 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.

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English