教程

书

标准ML'97编程教材

有几本关于SML’97编程的教科书；我们推荐第一种这个列表中有两个。保尔森的工作程序员ML假设多一点比Ullman有编程经验ML编程的要素，但两者都可以学习标准ML语言应该足够了。这两本书都是在第二版中，涵盖了SML’97版本的语言，包括Basis图书馆。

  • 工作程序员ML，第二版
    作者：拉里·保尔森
    出版商：剑桥大学出版社
    年份：1996
    国际标准图书编号：9780511811326

  • ML编程元素，ML97版
    作者：Jeffrey D.Ullman
    出版商：Prentice-Hall
    年份：1998
    国际标准图书编号：0-13-790387-1

  • 小MLer
    作者：马蒂亚斯·费尔莱森和丹·弗里德曼
    出版商：麻省理工学院出版社
    年份：1998
    国际标准图书编号：0-262-56114-X

  • SML编程简介
    作者：Michael R.Hansen和Hans Rischel
    出版商：出版商
    年份：1999
    国际标准图书编号：9780201398205

一些高级主题

  • ML中的并行编程
    作者：John Reppy
    出版商：剑桥大学出版社_年份：1999
    国际标准图书编号：9780511574962

  • 用连续体编译
    作者：Andrew Appel
    出版商：剑桥大学出版社
    年份：1992国际标准图书编号：9780511609619

  • ML中的现代编译器实现
    作者：Andrew Appel
    出版商：剑桥大学出版社
    年份：1997
    国际标准图书编号：9780511811449

  • 纯功能数据结构
    作者：Chris Okasaki
    出版商：剑桥大学出版社
    年份：1998
    国际标准图书编号：9780511530104

参考书

  • 定义标准ML（修订版）
    作者：罗宾·米尔纳（Robin Milner）、麦德斯·托夫特（Mads Tofte）、罗伯特·哈珀（Robert Harper）和大卫·麦奎因（David MacQueen）
    出版商：麻省理工学院出版社
    年份：1997
    国际标准图书编号：9780262631815

  • 标准ML基础库
    作者：Emden Gansner和John Reppy
    出版商：剑桥大学出版社年份：2004
    国际标准图书编号：9780511546846

  • 标准ML的定义
    作者：罗宾·米尔纳、麦德斯·托夫特和罗伯特·哈珀
    出版商：麻省理工学院出版社
    年份：1989
    国际标准图书编号：0-262-63132-6
    注：1990年标准ML的原始定义。

  • 标准ML评述
    作者：罗宾·米尔纳和麦德斯·托夫特
    出版商：麻省理工学院出版社
    年份：1991
    国际标准图书编号：0-262-63137-7
    注：1990年标准ML定义的评注，仅部分与97年SML相关。

链接