Type Substitution for Object-Oriented Programming

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.

• Type: Conference
• Year: 1990
• Where: OOPSLA
• Authors: Jens Palsberg, Michael I. Schwartzbach
• Keywords: Genericity, OOPSLA 1990, Parameterized Classes, Security Privacy