| 
|
Quote: a type is a subtype if it uses a subset of values and a superset of operations
topics >
all references >
references a-b >
Topic:
restricted and extended types
Quotation Skeleton
For types S and T, we say S … oper T .subset. oper S (notice the reversal). … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: restricted and extended types (34 items)