类型系统的构造、实现及其在程序设计语言中的应用

• 作者: 张兴元 王元元 蒋慧 谢希仁
• 来源期刊: 南京大学学报(自然科学版)
• 学科: 工学
• 关键词: 类型系统 类型推理 类型检测 语义模型
• 年，卷（期）: 2001,（2）
• 页码范围: 199-207
• 页数: 9页
• 分类号: TP311
• 字数: 5103字
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2001.02.011

摘要

类型系统是一种设计和研究程序设计语言的形式化方法和工具,既可在语言设计之初构造,便于严格、准确、正确地设计实现语言;也可在语言实现后构造,为研究语言的语义及其它性质建立模型.详细讨论了类型系统的基本构造和实现,通过基于图重写的函数式语言SClean的类型系统,提出一种实用的类型系统的构造和实现方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王元元	解放军理工大学指挥自动化学院计算机系	46	351	12.0	16.0
2	蒋慧	解放军理工大学指挥自动化学院计算机系	4	147	3.0	4.0
3	张兴元	解放军理工大学指挥自动化学院计算机系	14	20	2.0	3.0
4	谢希仁	解放军理工大学指挥自动化学院计算机系	13	200	6.0	13.0