Previous Up
Guy Cousineau and Michel Mauny. The Functional Approach to Programming. Cambridge University Press, 1997. 現在,関数型プログラミングの教科書の中で Caml を直接対象 にした(英語では)唯一のもの.

Matthias Felleisen and Daniel P. Friedman. The Little MLer. The MIT Press, 1998. プログラミングにおける再帰・型の概念をStandard ML を使っ て解説.内容は OCaml にも,ほぼそのままあてはまる.

Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rmy, and Jrme Vouillon. The Objective Caml system release 3.06: Documentation and user's manual, 2002.

Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, Cambridge, MA, 1997. Standard ML の形式的定義.数学的な定義が並んでいるもので 解説はないので読むのは困難.コンパイラ実装者など言語仕様 を正確に知りたい人向け.

L. C. Paulson. ML for the Working Programmer. Cambridge University Press, second edition, 1996. Standard ML の教科書.

Jeffrey D. Ullman. Elements of ML Programming. Prentice Hall, ML97 edition, 1998. Standard ML の教科書.初版は和訳がある.

大堀 淳. プログラミング言語 Standard ML. 共立出版, 2001. 日本語で書かれた Standard ML の数少ない教科書.

Previous Up