Commentary on Standard Ml

Commentary on Standard Ml

还没有评分
1991 · 英语 · 平装书 · 2 个版本
加入书架

评价这本书


导出书籍日志

描述

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.

书籍详情

格式 平装书
语言 英语
已发布 1月 1, 1991
出版商 Mit Pr
ISBN-10 0262631377
ISBN-13 9780262631372
加入书架

评价这本书


导出书籍日志