Path: utzoo!attcan!uunet!mailrus!ncar!umigw!mthvax.cs.miami.edu!aem
From: aem@mthvax.cs.miami.edu (a.e.mossberg)
Newsgroups: comp.lang.misc
Subject: Edinburgh ML (summary)
Message-ID: <1297@umigw.MIAMI.EDU>
Date: 17 Dec 89 23:34:17 GMT
Sender: news@umigw.MIAMI.EDU
Reply-To: aem@Mthvax.CS.Miami.Edu
Lines: 93


Thanks to everyone who responded here or by e-mail about Edinburgh ML;
here's a distillation of the responses I received.

Edinburgh is an old, partial implementation of Standard ML, and is
distributed by the Edinburgh Computer Science Department. The contact
address is glc@lfcs.ed.ac.uk

Other Standard MLs available are Poly/ML, by Dave Matthews at Cambridge
(contact address is dcjm@cl.cam.ac.uk) and Standard ML of New Jersey,
by Andrew Appel and Dave MacQueen. (contact address for Dave is
dbm@research.att.com)

Other MLs that were mentioned include:

Edinburgh LCF, a low level abstract machine used for the LCF
	theorem prover;

Unix ML, by Luca Cardelli.  Compiles to FAM code (FAM is Luca's 
	Functional Abstract Machine) and thence to Vax native code.

LML, "Lazy ML" by Thomas Johnsson and Lennart Augustsson.  Different
	syntax, no side-effects, normal-order semantics.  Compiles to 
	G code and then to native code for several machines.

CAML, by Pierre Curien et al., based on "The Categorical Abstract Machine".
	Compiles to CAM code and then to LLM3, which is the abstract machine
	developed for LeLisp.

There is an internet mailing list for standard ML - 
subscription requests go to sml-request@cs.cmu.edu


Finally, a number of books and papers were mentioned:

An old version of ML is described in:

Gordon, Milner, Wadsworth
Edinburgh LCF
Springer LNCS 78
Springer-Verlag 1979
ISBN: 0-387-09724-4

This one describes both ML and functional programming in general,
but only covers the Core Language of ML (not the modules mechanism):

Wikstrom
Functional Programming Using Standard ML
Prentice Hall 1987
ISBN: 0-13-331661-0

Another book about functional programming that uses SML is:

Reade
Elements of Functional Programming
Addison-Wesly 1989
ISBN: 0-201-12915-9

There is also a report from Edinburgh:

Harper
Introduction to Standard ML
LFCS Report Series  ECS-LFCS-86-14
Laboratory for Foundations of Computer Science
Department of Computer Science
University of Edinburgh

A classical paper on the ML type system is:

Milner
A Theory of Type Polymorphism in Programming
Journal of Computer and System Sciences 17, 348-375 (1978)

And Standard ML is completely defined in:

Harper, Milner, and Tofte
The Definition of Standard ML version 2
LFCS Report Series  ECS-LFCS-88-62
Laboratory for Foundations of Computer Science
Department of Computer Science
University of Edinburgh



Thanks again to everyone.

aem

--
a.e.mossberg / aem@mthvax.cs.miami.edu / aem@umiami.BITNET / Pahayokee Bioregion
Painting and fucking are not compatible; it weakens the brain...If we want to be
really potent males in our work, we must sometimes resign ourselves to not
fucking much.					- Vincent Van Gogh