《ML程序设计教程》保罗森

wads · 发表于 2020-3-10 08:42:44

内容简介 · · · · · ·
本书是关于ML程序设计的经典教材，详细介绍如何使用 ML语言进行程序设计，并讲解函数式程序设计的基本原理。

　　书中含有大量例子，涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站（http://www.cl.cam.ac.uk/users/lcp/）得到。

　　本书详细讲解如何使用ML语言进行程序设计，并介绍函数式程序设计的基本原理。书中特别讲述了为ML的修订版所设计的新标准库的主要特性，并且给出大量例子，涵盖排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个l-演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优先队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。

　　本书可作为高等院校计算机专业相关课程的教材，也适合广大程序设计人员参考。

下载地址：
https://306t.com/file/14900045-462128926

附件：

ZSZBB · 发表于 2020-3-10 18:07:37

好好学习，天天向上！

foboom · 发表于 2020-3-10 21:22:22

感谢分享

jimmymiya · 发表于 2020-3-12 11:56:53

谢谢分享

ccrobot · 发表于 2020-4-6 22:17:56

就想看看

web_hj · 发表于 2020-4-7 08:32:19

感谢楼主的分享

wads · 发表于 2020-9-23 18:24:32

Lily_T · 发表于 2021-7-14 06:21:19

thanks for sharing

mgj09194 · 发表于 2023-2-25 14:26:38

谢谢分享

		自动登录	找回密码
密码			立即注册

[电脑网络] 《ML程序设计教程》保罗森

相关帖子

超级VIP

活跃会员

热心会员

推广达人

宣传达人

突出贡献

荣誉管理

灌水之王