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

Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes. Essentials of Programming Languages. The MIT Press, Cambridge, MA, second edition, 2001.

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

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

Previous Up