Guarrigue, Didier Rémy, and Jérôme Vouillon. The Objective Caml system. Available on the web (1996)

by Xavier Leroy, Damien Doligez, Jacques