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