文章基本信息
- 标题：Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday
- 本地全文：下载
- 作者：Philip Wadler
- 期刊名称：Journal of Universal Computer Science
- 印刷版ISSN：0948-6968
- 出版年度：2017
- 卷号：23
- 期号：1
- 页码：5-20
- 出版社：Graz University of Technology and Know-Center
- 摘要：The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.
- 关键词：Haskell; Miranda; abstract data type; gradual typing; information hiding
