Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!ccut!wnoc-tyo-news!astemgw!kuis!nishio
From: nishio@mizar.kuis.kyoto-u.ac.jp (Nishio `Cchwitz' Shuichi)
Newsgroups: comp.theory
Subject: Re: ML
Message-ID: <NISHIO.90Dec21083545@mizar.kuis.kyoto-u.ac.jp>
Date: 20 Dec 90 23:35:45 GMT
References: <1990Dec15.222904.12246@solo.csci.unt.edu>
Sender: news@kuis.kyoto-u.ac.jp
Reply-To: nishio@kuis.kyoto-u.ac.jp
Organization: Department of Information Science, Kyoto University, Japan.
Lines: 22
In-reply-to: ian@ponder.csci.unt.edu's message of 15 Dec 90 22:29:04 GMT


   =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)