OCalm
OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.
Site: http://www.ocaml.org/
Books

Unix System Programming in OCaml
This is an excellent book on Unix system programming, with an emphasis on communications between processes. The main novelty of this work is the use of OCaml, instead of the C language that is customary in systems programming. This gives an unusual perspective on systems programming and on OCaml.

The OCaml System: Documentation and User's Manual
This the official User's Manual. It serves as a complete reference guide to OCaml. Updated for each version of OCaml, it contains the description of the language, of its extensions, and the documentation of the tools and libraries included in the official distribution.

