| 
|
Quote: subsumption is the property that a value of type A is also a value of any supertype B with A<:B
topics >
all references >
references a-b >
Group:
type inheritance
Group:
object-oriented programming
Quotation Skeleton
(1) if c' is a subclass of c, … [We introduce] a reflexive and transitive subtype relation (<:) … it satisfies two properties: (2) If a:A and … (2) and (3) yield (1). Property (2), called … be viewed as a value of a supertype … Google-1 Google-2
Copyright clearance needed for quotation.
Group: type inheritance (13 topics, 391 quotes)
Group: object-oriented programming (26 topics, 814 quotes)