Using, Understanding, and Unraveling OCaml

This book describes both the OCaml language and the theoretical grounds behind its powerful type system.