Commentary on standard ML
Commentary on standard ML
复制标题
标准机器学习的评论
DOI：
--
复制
发表时间：
1990
期刊：
影响因子：
--
通讯作者：
M. Tofte
中科院分区：
文献类型：
--
作者：
R. Milner;M. Tofte
功能编程语言ML的完整数学描述在Milner，Tofte和Harper对标准ML的定义中给出了。该伴侣的卷在ML的含义或语义理论深入解释。
The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's Definition of Standard ML. This companion volume explains in depth the meaning, or semantic theory, of ML.