| ML語言的数据类型和抽象类型的同式多型 |
| |
| 引用本文： | 江·渊·明德健生.ML語言的数据类型和抽象类型的同式多型[J].电子科技大学学报(社会科学版),1989(1). |
| |
| 作者姓名： | 江·渊·明德健生 |
| |
| 作者单位： | 电子科技大学计算机系 |
| |
| 摘 要： | 本文阐明ML核心语言中的类型(缩写)、数据类型及抽象类型三者的同式多型(polymorphism)所赖以作依据的理论和实现问题。
|
| 关 键 词： | 同式多型 数据类型 抽象类型 类型 |
POLYMORPHISM OF DAT-ATYPE AND ABSTRACT-TYPE IN ML CORE LANGUAGE |
| |
| Jiang Yuan Mingde jiansheng.POLYMORPHISM OF DAT-ATYPE AND ABSTRACT-TYPE IN ML CORE LANGUAGE[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),1989(1). |
| |
| Authors: | Jiang Yuan Mingde jiansheng |
| |
| Institution: | Dept.of Computer Science |
| |
| Abstract: | In this paper expounded are the theoretical and implementation aspects upon which the polymorphism of data (abbreviation), data-type, and abstract-type in ML core language is based. |
| |
| Keywords: | polymorphism data-type abstract-type type |
| 本文献已被 CNKI 等数据库收录！ |
