Generativity and dynamic opacity for abstract types

@inproceedings{Rossberg2003GenerativityAD,
  title={Generativity and dynamic opacity for abstract types},
  author={Andreas Rossberg},
  booktitle={PPDP},
  year={2003}
}
The standard formalism for explaining abstract types is existential quantification. While it provides a sufficient model for type abstraction in entirely statically typed languages, it proves to be too weak for languages enriched with forms of dynamic typing, where parametricity is violated. As an alternative approach to type abstraction that addresses this shortcoming we present a calculus for dynamic type generation. It features an explicit construct for generating new type names and relies… CONTINUE READING
Highly Cited
This paper has 50 citations. REVIEW CITATIONS

4 Figures & Tables

Topics

Statistics

0510'05'07'09'11'13'15'17
Citations per Year

fewer than 50 Citations

Semantic Scholar estimates that this publication has 50 citations based on the available data.

See our FAQ for additional information.