Previous Up
References
[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 Rmy, and Jrme 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 の形式的定義.数学的な定義が並んでいるもので 解説はないので読むのは困難.コンパイラ実装者など言語仕様 を正確に知りたい人向け.

Previous Up