- [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.
ÀäÈÇ?