Types as Tree Structures

Types can be thought of as tree structures:

• Leaf nodes are basic types (integer, real).
• Interior nodes are type constructors (array, record, pointer).

A type declaration builds an interior node from leaf nodes or subtrees.

A structure reference specifies a path through the tree from root to leaf node.

Pointers provide ``back arcs'' in the tree.