Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!wuarchive!rex!uflorida!gatech!mcnc!uvaarpa!haven!cs.wvu.wvnet.edu!schiebel
From: schiebel@cs.wvu.wvnet.edu (Darrell Schiebel)
Newsgroups: comp.theory
Subject: Re: ML
Summary: ML texts
Message-ID: <1130@h.cs.wvu.wvnet.edu>
Date: 16 Dec 90 16:15:51 GMT
References: <1990Dec15.222904.12246@solo.csci.unt.edu>
Organization: WVU Statistics and Computer Science
Lines: 31

In article <1990Dec15.222904.12246@solo.csci.unt.edu>, ian@ponder.csci.unt.edu (Ian Parberry) writes:
> Can anybody tell me how I can find out about the programming language ML?

I believe ML is ftpable from somewhere, but I don't know where. Perhaps 
someone else can help with that (?).  Here are the books I know of that
deal with ML. The comments are from the original source of the references.

The first book is quite slow-paced and is aimed at people learning to program.
It doesn't cover the modules system.

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


The next book goes at a faster pace, and includes an introduction to the
modules system.  It also includes sections on denotational semantics,
lambda calculus and implementation techniques.

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



	Robin Milner, Mads Tofte, Robert Harper
	The Definition of Standard ML
	The MIT Press
	ISBN: 0-262-13255-9	or	0-262-63132-6(pbk.)