又名: ML for the Working Programmer, 2nd Edition
译者: 柯韦
作者: （英）保罗森（Paulson，L.C.）
译者: 柯韦
作者: （英）保罗森（Paulson，L.C.）
ISBN: 9787111161219
页数: 366
定价: 45.0
出版社: 机械工业出版社
装帧: 平装
出版年: 2005-5-1
页数: 366
定价: 45.0
出版社: 机械工业出版社
装帧: 平装
出版年: 2005-5-1
简介 · · · · · ·
本书详细讲解如何使用ML语言进行程序设计，并介绍函数式程序设计的基本原理。书中特别讲述了为ML的修订版所设计的新标准库的主要特性，并且给出大量例子，涵盖排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个l-演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优先队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。
本书可作为高等院校计算机专业相关课程的教材，也适合广大程序设计人员参考。
本书可作为高等院校计算机专业相关课程的教材，也适合广大程序设计人员参考。
作者简介 · · · · · ·
Lawrence C.Paulson，于1981年在美国斯坦福大学获得计算机科学博士学位，现为英国剑桥大学计算逻辑学教授。Paulson博士从事有关ML语言的教学和工作多年，拥有扎实的背景和丰富的经验，并曾经参与Standard ML的设计。Paulson博士开发和维护了lsabelle自动定理证明系统，他近期正在进行关于自动定理证明和密码协议验证方面的研究。
豆瓣成员常用的标签(共34个) · · · · · ·
喜欢读"ML程序设计教程(原书第2版)/计算机科学丛书"的人也喜欢 · · · · · ·
书评 · · · · · ·
热门评论
最新评论
我来评论这本书
"ML程序设计教程(原书第2版)/计算机科学丛书"论坛 · · · · · ·
| China-pub 二手书 | 来自杜皮 | 1 回应 | 2009-02-14 |
在哪儿买这本书? · · · · · ·
以下豆列推荐 · · · · · · (全部)
- 给坏孩子看的计算机书 (baozii)
- 拓展编程视界系列 (AlbertLee)
- 理论计算机科学——程序设计语言 (网络流)
- Functional Programming (Daniel)
- 最近搞到的书 (光风)
谁读这本书?
喜欢这本书的人常去的小组 · · · · · ·
- lisp (628)
- Freebsd (435)
- 人体使用手册 (393)
- 微软 (492)
- 火车站 (190)
- Vim (3172)
- Python编程 (5929)
- java swing (357)
订阅关于ML程序设计教程(原书第2版)/计算机科学丛书的评论:
feed: rss 2.0