Introduction to Object Oriented Programming, 3rd Ed
Subclasses and Subtypes
- Subtype, Subclass and Substitution
- What is a Type?
- The Problem of Defining Types
- The Definition of Subtype
- Subclasses are not Necessarily Subtypes
- The Substitution Paradox
- The Undecidability of the Subtype Relationship
- Is This a Problem?
- Chapter Summary