Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!mcsun!ukc!edcastle!lfcs!nick
From: nick@lfcs.ed.ac.uk (Nick Rothwell)
Newsgroups: comp.lang.misc
Subject: Re: Edinburgh ML (summary)
Message-ID: <1440@castle.ed.ac.uk>
Date: 18 Dec 89 15:28:00 GMT
References: <1297@umigw.MIAMI.EDU>
Reply-To: nick@lfcs.ed.ac.uk (Nick Rothwell)
Organization: LFCS Enya Admiration Society
Lines: 29
In-reply-to: aem@mthvax.cs.miami.edu (a.e.mossberg)

In article <1297@umigw.MIAMI.EDU>, aem@mthvax (a.e.mossberg) writes:
>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

It's old, but being maintained at the moment. It's up-to-date, but
only provides the core language.

>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

Version 2 is out of date, since there were one or two bugs in the
semantics. This definition document will be available as a book from
MIT press sometime soon.

>a.e.mossberg

		Nick.
--
Nick Rothwell,	Laboratory for Foundations of Computer Science, Edinburgh.
		nick@lfcs.ed.ac.uk    <Atlantic Ocean>!mcvax!ukc!lfcs!nick
~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~
  "...all these moments... will be lost in time... like tears in rain."