このドキュメントは Objective Caml のリファレンスマニュアルとして書かれています。 言語構成をのべ、それについて文法の詳細とセマンティクスの簡単な説明を与えています。 例示などはないのでチュートリアルには不向きです。 Caml についてある程度の知識があることが前提になっているので注意して下さい。
数学的な難しい話はありません。使われる単語は定義なしで直観的な意味で用いられます。結果として、型付け規則以外の数学的な背景は書かれていません (こちらが言語の完全な定義の部分ですが) 。