Types versus classes

4

  • types -- syntactically, semantically, pragmatically
  • compatible modifications -- type, signature, class

slide: Section 8.4: Types versus classes