The subtype relation
2
types
-- sets of values
the subtype relation
-- refinement \c{rules}
functions
-- contravariance
objects
-- as records
slide
:
Section 9.2: The subtype relation