Work

Substitution Polymorphism for Object-Oriented Programming

Year: 1990

Type: article

Abstract: We introduce substitution polymorphism as a new basis for typed object-oriented languages. While avoiding subtypes and polymorphic types, this mechanism enables optimal static type-checking of generic classes and polymorphic functions. The novel idea is to view a class as having a family of implicit subclasses, each of which is obtained through a substitution of types. This allows instantiation of a generic class to be merely subclassing and resolves the problems in the Eiffel type system reported by Cook. All subclasses, including the implicit ones, can reuse the code implementing their superclass.

Source: DAIMI Report Series

DOI: 10.7146/dpb.v19i305.6698

Authors: Jens Palsberg, Michael I. Schwartzbach

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W1586925710

FWCI: 0.548

Cites:

Cited by: 1

Related to: 10