【摘 要】
：
<正> 1 引言类型系统源于罗素为避免朴素集合论中的悖论而引入的“分类”思想。后来邱奇在他的λ演算中也引入了“类型”。60年代初出现的Algol语言提出了数据类型的概念。逻
【机 构】
：
中山大学计算机科学系; 中山大学计算机科学系 广州 510275; 广州 510275;
【基金项目】
：
高等学校博士学科点专项科研基金,资助号:99-018-411703
论文部分内容阅读
<正> 1 引言类型系统源于罗素为避免朴素集合论中的悖论而引入的“分类”思想。后来邱奇在他的λ演算中也引入了“类型”。60年代初出现的Algol语言提出了数据类型的概念。逻辑学家J.Girard和计算机科学家J.Reynold在70年代初为类型系统引入了“多态性”,分别提出了System F和多态λ演算。另一方面,Mar-tin-L of为了研究数学的逻辑基础,在70年代初提出了直觉类型理论,后来也用于程序开发的研究。 80年代后,类型系统的研究更是蓬勃发展,在程序语言设计、程序开发和验证以及机器定理证明方面得到了广泛的应用。目前随着面向对象思想逐渐占据软件开发的主流,面向对象程序设计语言的类型系统逐渐成为人们研究的热点。在80年代初,L.Cardelli提出了“子类型”(subtype)的概念,在1985年,他结
其他文献
航空发动机整机振动可视化仿真技术是整机振动与分析的重要组成部分,通过将计算仿真和实验数据进行动画显示,可以动态地观察到转子系统的振动,转静间隙的变化规律,以及容易产
针对石化企业基层党建工作的现状和工作重点进行分析,对建立创新机制推动企业发展提出了建议。
社会治安防控体系的建立和完善离不开法治保障,同时社会治安防控体系也需要在法治轨道内运行。当前社会治安防控体系在法治层面存在着立法支撑不足、法律定位模糊、执法权威
<正>1.引言 随着面向对象软件开发技术的发展,越来越多的软件开发者正在使用面向对象程设计语言[l. 10].面向对象语言的重要特征之一是其动态特性。一般而言,静态与编译阶
分析了主管海洋事务的中国海岸警卫力量的现状与特点,综合了现有可能的二种中国海岸警卫力量的走向,一是中国海洋警察模式,二是海上事务联席会议制度,同时认为无论将来采用何
作为人类认识世界和改造世界的新工具、新技术和新的组织方式,大数据正成为决定未来的核心要素。随着大数据技术的普及,在高教领域,大学生教育管理开始从传统模式逐渐转变为
中、美、日、法均是世界范围内动画领域的制片大国,本文从这四国具有代表性的动画片例分析入手,分别从:一、故事题材的选择;二、美术风格与审美格调;三、制片宗旨与服务对象
根据我国的盐资源分布、盐化工产业链主要产品生产现状和国内外市场竞争态势及需求预测,分析了产业链的发展潜力,提供了竞争策略。
我国企业跨国并购业务的发展过程中,也显现出融资风险。加上我国相关政策和法律法规建设还不够完整和健全,增加了企业并购融资活动中的风险程度。并购成功的关键在于并购融资
<正> 唇腭裂是口腔颌面部常见的一种先天性发育畸形。对于遗传因素在唇裂(±腭裂)发病方面的作用,国内外学者已做了大量调查及实验研究。近年来的研究认为,唇(±腭)裂是一种