Source : Free On-Line Dictionary of Computing

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