Noun
abstract data type (plural abstract data types)
(programming) A data type defined only by data properties and operations to be performed on the data without any specification as to how the data will be represented or the operations performed.
Synonym: ADT
Coordinate term: algebraic data type