Extending ordinary inheritance schemes to include generalization
Claus Hougaard Pedersen · 1989
The arrangement of classes in a specialization hierarchy has proved to be a useful abstraction mechanism in class-based object oriented programming languages. The success of the mechanism is based on the high degree of code reuse that is offered, along with simple type conformance rules.