Type Hierarchies

• One can derive types by:
  • Extension
  • Restriction
• The new types are sub-types in the object oriented sense (ie, they can be used anywhere where the base type is expected)
• Types may be defined as abstract and final (for restriction, for extensions, or for both).

We have already seen those for simple types; one can also do it for complex types.