Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 23 / Issue 1

available in:   PDF (98 kB) PS (164 kB)
Similar Docs BibTeX   Write a comment
Links into Future


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