Commentary on Standard Ml

Commentary on Standard Ml

Robin Milner
尚無評分
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.

書籍詳情

格式 平裝書
語言 英語
已出版 Jan 1, 1991
出版商 Mit Pr
版本 2 個版本
ISBN-10 0262631377
ISBN-13 9780262631372
加入書架

評價這本書

出口書籍日誌