This is the official web page of the OCaml development team. Here you'll find the official distribution, the manual, archives of the mailing list, links to tutorials and contributed libraries (in "The Humps"), style guidelines, books about OCaml http://caml.inria.fr/
This book teaches the fundamentals of programming using OCaml, assuming little prior knowledge of computer programming. Particular emphasis is placed upon programming paradigms rarely seen in current scientific computing, such as exceptions, polymorphism, http://www.ffconsultancy.com/products/ocaml_for_scientists/
O'Caml compiler variant, extends ML polymorphism from parametric to non-parametric (extensional). More complex parametricity gives many features impossible or very hard to achieve otherwise: overloading, e.g., type safe value marshalling, ML value printer http://www.yl.is.s.u-tokyo.ac.jp/~furuse/gcaml/