3

• types -- as an organizing principle
• contracts -- obligations and benefits
• subtyping -- the substitutability requirement
• partial types -- designed to have subtypes