Types as behavior

1

subtype requirements -- preservation of behavioral properties
behavioral properties -- invariance, history
duality -- static versus dynamic constraints

slide: Section 10.1: Types as behavior