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

available in:   PDF (98 kB) PS (164 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
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