Type = objects with similar behavior

  • partial types are designed to have subtypes

Inheritance -- factor out code (building blocks)

  • abstract interface -- implementation is left to subtypes
  • type hierarchy -- behavioral refinement and extension

slide: Partial types