又名: 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自动定理证明系统，他近期正在进行关于自动定理证明和密码协议验证方面的研究。
豆瓣成员常用的标签(共29个) · · · · · ·
喜欢读"ML程序设计教程(原书第2版)/计算机科学丛书"的人也喜欢: · · · · · ·
这本书论坛 · · · · · ·
| ML | 来自尤里西斯 | 2008-03-16 | |
| China-pub 二手书 | 来自杜皮 | 2007-10-11 |
豆瓣成员最受欢迎的书评 (1条) · · · · · ·
在哪儿买这本书? · · · · · ·
以下豆列推荐 · · · · · ·
- 给坏孩子看的计算机书 (来自: baozii)
- 拓展编程视界系列 (来自: AlbertLee)
- 理论计算机科学——程序设计语言 (来自: 网络流)
- Functional Programming (来自: Daniel)
- vinjn的计算机科学书籍 (来自: vinjn)
谁读这本书?
