JUCS - Journal of Universal Computer Science 23(1): 5-20, doi: 10.3217/jucs-023-01-0005
Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday
expand article infoPhilip Wadler‡
‡ Edinburgh University, Edinburgh, United Kingdom

Corresponding author: Philip Wadler ( wadler@inf.ed.ac.uk )

© Philip Wadler.
This article is freely available under the J.UCS Open Content License.
Citation: Wadler P (2017) Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday. JUCS - Journal of Universal Computer Science 23(1): 5-20. https://doi.org/10.3217/jucs-023-01-0005
Open Access
Abstract
The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.
Keywords
abstract data type, information hiding, gradual typing, Miranda, Haskell