Types versus classes

4


  • types -- syntactically, semantically, pragmatically
  • compatible modifications -- type, signature, class
slide: Section 8.4: Types versus classes