Abstract Data Types without the Types.
Dedicated to David Turner on the occasion of his 70'th birthday

Philip Wadler (Edinburgh University, United Kingdom)

Abstract: The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.

Keywords: Haskell, Miranda, abstract data type, gradual typing, information hiding

Categories: D.1.1, D.3.1, D.3.3, F.3.2