These course notes provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions, including its object-oriented layer.

Read more at: http://www.freetechbooks.com/using-understanding-and-unraveling-the-ocaml-language-t699.html.