南京大学学报（自然科学版）2001，Vol.37Issue(2)：199-207,9.
类型系统的构造、实现及其在程序设计语言中的应用
The Construction, Implementation and Application of Type System in Programming Languages
摘要
关键词
类型系统/类型推理/类型检测/语义模型分类
信息技术与安全科学引用本文复制引用
蒋慧,张兴元,王元元,谢希仁..类型系统的构造、实现及其在程序设计语言中的应用[J].南京大学学报（自然科学版）,2001,37(2):199-207,9.基金项目
国家自然科学基金 （）
