Abstraction -- programming methodology

The kind of abstraction provided by ADTs can be supported by any language with a procedure call mechanism (given that appropriate protocols are developed and observed by the programmer).  [DT88]


slide: Abstraction and programming languages