References

[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 の数少ない教科書．