标准 ML 的定义
The definition of standard ML
R. Milner, Robin Milner, Mads Tofte, Harper, Robert · 初版 1990 年
- 15次提及
- 1人推荐
- 10位 HN 评论者
Hacker News 读者推荐
你的目标会是证明一门语言形式语义的各种性质，但这需要该语言以一种形式化的方式进行描述。去看看《标准 ML 的定义》（The Definition of Standard ML），感受一下一份（基本合规的）形式化编程语言定义大概长什么样。
reikonomusha 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0262631814
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。