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