Types versus classes

4

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

slide: Section 8.4: Types versus classes