Modifications

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

Varieties of (compatible) modifications

  • behaviorally -- \c{algebraic,} axiomatic \zline{(type)}
  • signature -- type checking \zline{(signature)}
  • name -- method search \c{algorithm} \zline{(classes)}

slide: Type modifications