DMCA
A First-Class Approach to Genericity (2003)
Cached
Download Links
- [www.cs.rice.edu]
- [www.cs.rice.edu]
- [www.cs.rice.edu]
- [www.cs.rice.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | IN PROCEEDINGS OF THE 18TH CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES, AND APPLICATIONS |
| Citations: | 46 - 3 self |
BibTeX
@INPROCEEDINGS{Allen03afirst-class,
author = {Eric Ethan Allen},
title = {A First-Class Approach to Genericity},
booktitle = {IN PROCEEDINGS OF THE 18TH CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES, AND APPLICATIONS},
year = {2003},
pages = {96--114},
publisher = {Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This thesis describes how to add first-class generic types---including mixins---to strongly-typed object-oriented languages with nominal subtyping such as Java and C#. A generic type system is "first-class" if generic types can appear in any context where conventional types can appear. In this context, a mixin is simply a generic class that extends one of its type parameters, e.g., a class C<T> that extends T. Although mixins of this form are widely used in C++ (via templates), they are clumsy and error-prone because C++ treats mixins as syntactic abbreviations (macros), forcing each mixin instantiation to be separately compiled and type-checked. The abstraction embodied in a mixin is never separately analyzed. Our
