数学学院 主 页 科 研 教 学 生 活
|
数学学院 主 页 科 研 教 学 生 活 |
Garment 中多态类型的Ideal 模型作者：郑红军 张乃孝原载：软件学报，Vol.9, No.3 p194-199，1998.3 摘要：本文从Ideal的基本概念出发，研究了Ideal 作为类型的语义模型所具有的 性质；在类型的Ideal 模型下，讨论了Garment 中参数化多态类型和约束多态类型 的语义；在此基础上，证明了Garment 中类型规则的语义可靠性。 关键词: Ideal 多态类型 类型系统 语义 Garment 下载：[pdf]
论文著作的详细列表
|
|||