10.3321/j.issn:0254-4164.1999.04.002
一种带约束的多态类型系统
本文讨论了一种带约束的多态类型系统,引入了约束类型.约束与全称量化的结合使得参数化多态函数的应用更安全,同时也为重载的表示和实现提供了一个新的途径,提高了类型表示的抽象度.本文讨论的类型系统具有两个不同层次的类型结构,约束的引入与消去是不同层次上的操作.最后,本文给出了类型检查算法Wτ,并证明了此算法中约束的可满足性是可判定的.
多态、约束类型、类型系统、类型检查
22
TP311(计算技术、计算机技术)
国家自然科学基金
2005-08-18(万方平台首次上网日期,不代表论文的发表时间)
共8页
343-350