Modifications
  • types -(predicate constraints)-> subtypes
  • classes -(template modification)-> subclasses

Varieties of (compatible) modifications
  • behaviorally -- algebraic, axiomatic

    • (type)


  • signature -- type checking

    • (signature)


  • name -- method search algorithm

    • (classes)


slide: Type modifications