 Subtype - Subtyping schemes: Encyclopedia II - Subtype - Subtyping schemesType theorists make an important distinction between nominal subtyping, in which only types declared in a certain way may be subtypes of each other, and structural subtyping, in which the structure of two types determines whether or not one is a subtype of the other. The class-based object-oriented subtyping described above is nominal; a structural subtyping rule for an object-oriented language might say that if objects of type A can handle all of the messages that objects of type B can handle (that is, if they de ...
See also:Subtype, Subtype - Subtyping schemes Read more here: » Subtype: Encyclopedia II - Subtype - Subtyping schemes | 
