Article View: comp.lang.misc
Article #5642Re: ML Wanted
From: Michel Mauny
Date: Wed, 06 Jul 1988 11:27
Date: Wed, 06 Jul 1988 11:27
23 lines
1438 bytes
1438 bytes
CAML is an ML dialect developed at INRIA, available on SUN-3 and VAX11 (Unix
BSD 4.2 and 4.3).
CAML (an acronym for Categorical Abstract Machine Language) is close
in functionality to Standard ML (although release 2.5 does not have modules
yet). It differs mostly in its syntax (closer to the syntax of LCF ML), and
in its ability to manipulate concrete syntaxes through an interface with Yacc.
The CAML library includes
- trace facilities
- automatic documentation of programs including type synthesis
- a latex interface
- and other utilities such as pretty-printer, statistics, timings etc.
The documentation includes an introductory Primer, and a more extensive
(270 pages) Reference Manual.
CAML is distributed by
ILOG S.A.
2 Avenue Gallieni
F-94250 Gentilly (FRANCE).
tel [33] (1) 46 63 66 66
Universities are entitled a special discount distribution cost.
For more information, write to chenetier@ilog.fr
Technical Details
Message-ID:
<728@inria.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!water!watmath!clyde!att!rutgers!uwvax!oddjob!ncar!ames!ubvax!vsi1!altnet!uunet!mcvax!inria!maunyReferences:
<28900001@ntvax>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!water!watmath!clyde!att!rutgers!uwvax!oddjob!ncar!ames!ubvax!vsi1!altnet!uunet!mcvax!inria!mauny From: mauny@inria.UUCP (Michel Mauny) Newsgroups: comp.lang.misc Subject: Re: ML Wanted Summary: CAML is an ML dialect developed at INRIA. It is available via a society called ILOG (mail chenetier@ilog.fr). Message-ID: <728@inria.UUCP> Date: 6 Jul 88 11:27:31 GMT References: <28900001@ntvax> Organization: INRIA, Rocquencourt. France Lines: 23