http://www.graco.c.u-tokyo.ac.jp/~igarashi/class/syslabII01.html
Ocaml の日本語でのテキストの中ではかなりよさげ。

ついでにこれも一応
http://www.ocaml.org/