Description of Ocaml type system

I was wondering if there was a full description of the ocaml type system somewhere either in the research literature or on the web somewhere. I am wondering how it differs from ML for which I have a couple books(Ullman etc).