Bedwyr

http://slimmer.gforge.inria.fr/bedwyr/

logic ocaml prover software

Objective Caml 入門

http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class...

ocaml tutorial

Developing applications with Objective Caml

http://caml.inria.fr/pub/docs/oreilly-book/index.h...

caml ocaml book tutorial

Jane Street Capital, LLC

http://www.janestcapital.com/tech.html

functional ocaml finance jobs lisp