Subtypes, Supertypes, and Substitutability
by
C.J. Date
Language: English
Release Date: September 8, 2016
Type inheritance is that phenomenon according to which we can say, for example, that every square is also a rectangle, and so properties that apply to rectangles in general apply to squares in particular. In other words, squares are a subtype of rectangles, and rectangles are a supertype of squares....