摘要
数据类型是程序设计语言设计中的一个重要概念。该文通过对Milner多态类型系统的扩展,提出了一个允许将类型作为一阶对象处理的参数化类型系统,并给出了相应的动态类型检查规则。
The data type is an important concept in the programming languages design.Based on the argument of MiIner’s polymorphic type system,this paper presentsa parametric type system which treats types as first-class objects,and providesdynamic type checking for this system.
出处
《应用科学学报》
CAS
CSCD
1994年第4期325-332,共8页
Journal of Applied Sciences
基金
国家自然科学基金
关键词
程序语言
数据类型
参数化类型
类型检查
programming language,data type, polymorphism ,parametric type,type checking.