Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!clyde.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!mit-eddie!uw-beaver!cornell!jhr
From: jhr@maui.cs.cornell.edu (John Reppy)
Newsgroups: comp.theory
Subject: Re: ML
Message-ID: <50086@cornell.UUCP>
Date: 24 Dec 90 20:08:39 GMT
References: <1990Dec15.222904.12246@solo.csci.unt.edu> <NISHIO.90Dec21083545@mizar.kuis.kyoto-u.ac.jp>
Sender: nobody@cornell.UUCP
Reply-To: jhr@cs.cornell.edu (John Reppy)
Organization: Cornell Univ. CS Dept, Ithaca NY
Lines: 28

In article <NISHIO.90Dec21083545@mizar.kuis.kyoto-u.ac.jp> nishio@kuis.kyoto-u.ac.jp writes:
>
>   =Can anybody tell me how I can find out about the programming language ML?
>   =I've heard that it's useful for teaching theoretical computer science.
>   =Thanks,
>   =Ian
>
>I've heard that 
>
>	a system of ML is distributed from Edinburgh University
>	Laboratory for Foundations of Computer Science (LFCS) 
>	in $150 or so. The e-mail address is ml@lfcs.ed.ac.uk or
>	glc@lfcs.ed.ac.uk (Dr. G.L.Cleland, Assistant Director of LFCS).
>
>I've just heard this 2 days before and I've just wrote to them for
>further information, so I can't say if this is correct...
>
>Also, 
>	Ryderheard, Burstall "Computational Category Theory"(Prentice Hall)
>would be useful for introduction to ML.
>
>--nishio
>(nishio@kuis.kyoto-u.ac.jp)

You can get the Standard ML of New Jersey for free, via anonymous ftp
from princeton.edu; look in the directory pub/ml.  SML/NJ is faster
and more complete than the Edinburgh compiler.
  - John