jacob@ntvax.UUCP (07/01/88)
Subject: ML wanted I would like to get ML or a ML-like language for BSD 4.3. It seems that I remember some discussion of how to get ML a while back, but I wasn't in the market at the time. Could someone please email me the information? No use subjecting everyone in comp.lang.misc.land to all the traffic all over again just for me. Thanks. Tom Jacob jacob@ntvax.unt.edu or {convex, infoswx, texsun}!ntvax!jacob
fpst@hubcap.UUCP (Steve Stevenson) (07/05/88)
From article <28900001@ntvax>, by jacob@ntvax.UUCP: > > Subject: ML wanted Dave McQueen is at Bell Labs. Try direct. -- Steve Stevenson fpst@hubcap.clemson.edu (aka D. E. Stevenson), fpst@prism.clemson.csnet Department of Computer Science, comp.parallel Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabell
mauny@inria.UUCP (Michel Mauny) (07/06/88)
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