2

• types -- sets of values
• the subtype relation -- refinement rules
• functions -- contravariance
• objects -- as records