ATD stands for Adaptable Type Definitions. It is a syntax for defining
cross-language data types.

The main novelty is that this single aspect of data exchange is treated
independently from the problems of transport protocols and serialization
format. The language is properly documented and supports sum types,
parametrized types and inheritance. Any specific programming language or
data format can be accomodated using semi-structured annotations that
complete the canonical type definitions.