数学学院 主 页 科 研 教 学 生 活
|
数学学院 主 页 科 研 教 学 生 活 |
一种带约束的多态类型系统作者：郑红军，张乃孝原载：计算机学报，Vol.22，No.4 p343-350，1999.4. 摘要：本文讨论了一种带约束的多态类型系统，引入了约束类型。约束与全 称量化的结合使得参数化多态函数的应用更安全，同时也为重载的表示和实现 提供了一个新的途径，提高了类型表示的抽象度。本文讨论的类型系统具有两 个不同层次的类型结构，约束的引入与消去是不同层次上的操作。最后，本文 给出了类型检查算法Wt，并证明了此算法中约束的可满足性是可判定的。 关键词: 多态 约束类型 类型系统 类型检查 下载：[pdf]
论文著作的详细列表
|
|||