Genericity and inheritance
DOI:
https://doi.org/10.7146/dpb.v19i318.6708Abstract
We present type substitution as a new genericity mechanism for object-oriented languages. It is a subclassing concept on the same footing as inheritance, and is more flexible than parameterized classes. We prove that type substitution and inheritance together form an orthogonal basis for a general subclass relation that captures type-safe code reuse. Thus, genericity and inheritance are independent, complementary components of a unified concept. Our result is obtained in a novel model of classes which encompasses classes as types and assignments.Downloads
Published
1990-07-01
How to Cite
Palsberg, J., & Schwartzbach, M. I. (1990). Genericity and inheritance. DAIMI Report Series, 19(318). https://doi.org/10.7146/dpb.v19i318.6708
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.