Previous Up
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 Rmy, and Jrme 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 の数少ない教科書.

Previous Up