https://hal.archives-ouvertes.fr/hal-01863457
Tip revision: c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d authored by Software Heritage on 03 September 2018, 13:40:43 UTC
hal: Deposit 174 in collection hal
hal: Deposit 174 in collection hal
Tip revision: c812045
AUTHORS
This software has been designed and produced by Bruno Blanchet at the
Ecole Normale Supérieure - 45 rue d'Ulm - 75005 PARIS - France, from
Caml Light 0.74.
Caml Light 0.74 has been designed and produced by Xavier Leroy,
Damien Doligez, Francois Rouaix, Jerome Vouillon and Pierre Weis,
research workers for the Institut National de Recherche en Informatique et
en Automatique (INRIA) - Domaine de Voluceau - Rocquencourt - 78153 Le
Chesnay Cedex - France.
