The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance

Abstract

Most object-oriented languages have restrictions on the types of overriding methods, to ensure that the resulting subclass is still type compatible with the superclass. This requires more precise rules about the typing of, the inheritance operator.

Cite as:

Anthony J.H. Simons, “The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance”, Journal of Object Technology, Volume 4, no. 1 (January 2005), pp. 13-25, doi:10.5381/jot.2005.4.1.c2.