- [1]
-
Guy Cousineau and Michel Mauny.
The Functional Approach to Programming.
Cambridge University Press, 1997.
現在，関数型プログラミングの教科書の中で Caml を直接対象
にした(英語では)唯一のもの．
- [2]
-
Matthias Felleisen and Daniel P. Friedman.
The Little MLer.
The MIT Press, 1998.
プログラミングにおける再帰・型の概念をStandard ML を使っ
て解説．内容は OCaml にも，ほぼそのままあてはまる．
- [3]
-
Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier R�my, and J�r�me
Vouillon.
The Objective Caml system release 3.06: Documentation and user's
manual, 2002.
http://pauillac.inria.fr/caml/ocaml/htmlman/index.html.
- [4]
-
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen.
The Definition of Standard ML (Revised).
The MIT Press, Cambridge, MA, 1997.
Standard ML の形式的定義．数学的な定義が並んでいるもので
解説はないので読むのは困難．コンパイラ実装者など言語仕様
を正確に知りたい人向け．
- [5]
-
L. C. Paulson.
ML for the Working Programmer.
Cambridge University Press, second edition, 1996.
Standard ML の教科書.
- [6]
-
Jeffrey D. Ullman.
Elements of ML Programming.
Prentice Hall, ML97 edition, 1998.
Standard ML の教科書．初版は和訳がある.
- [7]
-
大堀 淳.
プログラミング言語 Standard ML.
共立出版, 2001.
日本語で書かれた Standard ML の数少ない教科書．