The Objective Caml system: Documentation and user’s manual. 3.07 edn. INRIA (2003)

by Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy, Jérôme Vouillon