Garrigue, Didier Rémy, and Jérôme Vouillon. The OCaml system release 4.01, Documentation and user’s manual. Projet Gallium (2013)

by Xavier Leroy, Damien Doligez, Alain Frisch, Jacques