|
|||||
|
|
| 类型系统λω×≤的PER模型 | |
| 引用本文： | 周晓聪,李文军,李师贤.类型系统λω×≤的PER模型[J].计算机研究与发展,2000,37(8):1006-1011. |
| 作者姓名： | 周晓聪 李文军 李师贤 |
| 作者单位： | 1. 中山大学计算机科学系,广州,510275 2. 南京大学计算机软件新技术国家重点实验室,南京,210093 |
| 基金项目： | 高等学校博士学科点专项科研基金，南京大学计算机软件新技术国家重点实验室基金 |
| 摘 要： | 类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相比 ,它区分各种上下文 ,使得规则和性质的研究更为清晰 .研究该类型系统的 PER模型作为其语义解释 ,并说明该模型的合理性 |
| 关 键 词： | 类型系统 子类型关系 PER模型 面向对象 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |