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