Abstract Data Types without the Types

被引：0
|
作者：
Wadler, Philip [1 ]
机构：
[1] Univ Edinburgh, Edinburgh EH8 9YL, Midlothian, Scotland
来源：
JOURNAL OF UNIVERSAL COMPUTER SCIENCE | 2017年 / 23卷 / 01期
基金：
英国工程与自然科学研究理事会;
关键词：
abstract data type; information hiding; gradual typing; Miranda; Haskell;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.
引用
收藏
页码：5 / 20
页数：16
相关论文
共 50 条
12345