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.
|
|