Abstract
Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but is not in itself parameterized. We suggest a new genericity mechanism, type substitution, which is a subclassing concept that complements inheritance: any class is generic, can be "instantiated" gradually without planning, and has all of its generic instances as subclasses.
Cite
CITATION STYLE
Palsberg, J., & Schwartzbach, M. I. (1990). Type substitution for object-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990 (pp. 151–160). Association for Computing Machinery, Inc. https://doi.org/10.1145/97945.97965
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
