http://pauillac.inria.fr/caml/
http://www.geocities.co.jp/SiliconValley/6633/tips/lang/camlLight.html