Article View: comp.lang.misc
Article #6540Re: Edinburgh ML (summary)
From: Nick Rothwell
Date: Mon, 18 Dec 1989 15:28
Date: Mon, 18 Dec 1989 15:28
29 lines
1562 bytes
1562 bytes
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."
Technical Details
Message-ID:
<1440@castle.ed.ac.uk>Path:
arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!mcsun!ukc!edcastle!lfcs!nickReferences:
<1297@umigw.MIAMI.EDU>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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)