tool: Camloo

---

Language:	CAML, Bigloo
Version:	1.9b
Parts:	?
Author:	Manuel.Serrano@inria.fr, Pierre.Weis@inria.fr
Location:	??? http://cuiwww.unige.ch/~serrano/bigloo.html
Description:	An implementation of CAML in Bigloo. It can be considered as an alternative to the regular camlc compiler. In particular, it has successfully compiled many complex Caml Light programs, including camlc and the Coq system (the ``calculus of constructions'', a proof assistant).
Conformance:	Full compliance with Caml Light 0.6 and Caml Light Libraries (including camlyacc and camllex).
Requires:	Bigloo1.6c (available from same address).
Contact:	Manuel.Serrano@inria.fr, Pierre.Weis@inria.fr.
Updated:	July 10th, 1997

category: functional languages summary, or expanded.