- [1]
-
Guy Cousineau and Michel Mauny.
The Functional Approach to Programming.
Cambridge University Press, 1997.
現在，関数型プログラミングの教科書の中で Caml を直接対象
にした(英語では)唯一のもの．
- [2]
-
Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes.
Essentials of Programming Languages.
The MIT Press, Cambridge, MA, second edition, 2001.
- [3]
-
Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier R�my, and J�r�me
Vouillon.
The Objective Caml system release 3.09: Documentation and user's
manual, 2004.
http://caml.inria.fr/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 の形式的定義．数学的な定義が並んでいるもので
解説はないので読むのは困難．コンパイラ実装者など言語仕様
を正確に知りたい人向け．