"Manuel de reference du langage Caml" - читать интересную книгу автора (Xavier Leroy, Pierre Weis)