References

[1]

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

[2]

R. Kent Dybvig. プログラミング言語SCHEME. ピアソン・エデュケーション, 2000.

[3]

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

[4]

Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier R�my, and J�r�me Vouillon. The Objective Caml system release 3.08: Documentation and user's manual, 2004. http://caml.inria.fr/ocaml/htmlman/index.html.

[5]

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

[6]

湯淺 太一. Scheme入門. 岩波コンピュータサイエンス. 岩波書店, 1991. 絶版?