ML核心语言的同式多型类型检验的推理系统

下载PDF

导出

摘要 ML 语言的同式多型类型检验(含推导)是颇成功的,具有典型意义;它属于参变的、基本上是寅式的同式多型。本文中 ML 核心语言的同式多型类型检验被表达成“推理法则系统”这样的形式系统。在类型的语义模型与类型检验算法,之间,它起着一种简明而又基本的媒介作用。

作者江明德甬剡

机构地区成都电讯工程学院

出处《计算机应用》 CSCD 1989年第1期15-20,共6页 journal of Computer Applications

关键词 ML语言泛函程序语言推理系统

参考文献1

1曾广周.点位置的模拟和分布类型检验[J].计算机应用与软件,1989,6(4):26-34. 被引量：1
2Peter Blackburn Itzik Ben-Gan Gert Drapers Michael Otey. Kalen Delaney 杨岩(译).SQL Server最佳实践核对清单总是匆匆忙忙的？记住下面这些提示，你就可以轻松上路了——T-SQL核对清单 13条卓有成效的T-SQL实践[J].Windows IT Pro Magazine（国际中文版）,2007(C00):299-300.
3黄曼绮,钟乐海.基于XJ开发包的XML优化处理[J].兵工自动化,2006,25(12):88-89.
4Anders Lundgren.低效的C++ 真是这样吗?[J].中国电子商情,2008(8):61-64.
5王立斌.基于类型系统的完整性信息流控制[J].华南师范大学学报（自然科学版）,2006,38(3):42-47. 被引量：1
6蒋凡,谈刚.TTCN-3语言编译器符号表的设计和实现[J].中国科学技术大学学报,2007,37(7):803-806. 被引量：2
7ItzikBen-Gan,杨岩.T-SQL核对清单——13条卓有成效的T-SQL实践[J].Windows & Net Magazine（国际中文版）,2005(6):70-71.
8程继华.TP TO P——从PASCAL语言到PROLOG语言的转换方法[J].焦作矿业学院学报,1989(2):84-94.
9谢圣献,谢光.语义检索在电子商务中的应用研究[J].微计算机信息,2008,24(12):135-136. 被引量：4
10黄明.ADA和PROLOG的比较[J].计算机科学,1989,16(2):75-76.

计算机应用

1989年第1期

内容加载中请稍等...