一种带约束的多态类型系统

• 作者: 张乃孝 郑红军
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 多态 约束类型 类型系统 类型检查
• 年，卷（期）: 1999,（4）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 343-350
• 页数: 8页
• 分类号: TP311
• 字数: 8207字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1999.04.002

摘要

本文讨论了一种带约束的多态类型系统,引入了约束类型.约束与全称量化的结合使得参数化多态函数的应用更安全,同时也为重载的表示和实现提供了一个新的途径,提高了类型表示的抽象度.本文讨论的类型系统具有两个不同层次的类型结构,约束的引入与消去是不同层次上的操作.最后,本文给出了类型检查算法Wτ,并证明了此算法中约束的可满足性是可判定的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑红军	北京大学数学学院信息科学系	3	17	2.0	3.0
2	张乃孝	北京大学数学学院信息科学系	11	118	7.0	10.0