tagged types

programming
Ada's type mechanism in which types can be extended via single inheritance.
(2000-02-21)