SML/NJ Literature


Summary


Tutorials

Introduction to Standard ML

Author: Robert Harper, CMU

Notes on Programming in SML/NJ

Author: Riccardo Pucella, Cornell

Using the SML/NJ System

Author: Peter Lee, CMU

Four Lectures on Standard ML

Author: Mads Tofte, DIKU

Essentials of Standard ML Modules

Author: Mads Tofte, DIKU

Tips for Computer Scientists On Standard ML

Author: Mads Tofte, DIKU

Programming in Standard ML '97: An On-line Tutorial

Author: Stephen Gilmore, Edinburgh University

A Gentle Introduction to ML

Author: Andrew Cumming, Napier University

Introduction to Functional Programming

Author: Michael Gordon, Cambridge University

Books

Several textbooks on SML programming are available. We recommend the first two in this list. ML for the Working Programmer assumes a little more programming experience than Elements of ML Programming, however either one ought to be adequate for learning the language. Both of these books are in their second editions, now covering the SML '97 version of the language and Basis.

ML for the Working Programmer (2nd edition)

Author: Larry C. Paulson
Publisher: Cambridge University Press
Year: 1996
ISBN (hardback): 0-521-57050-6
ISBN (paperback): 0-521-56543-X

Elements of ML Programming, ML97 Edition

Author: Jeffrey D. Ullman
Publisher: Prentice-Hall
Year: 1998
ISBN: 0-13-790387-1

Introduction to Programming using SML

Authors: Michael R. Hansen, Hans Rischel
Publisher: Addison-Wesley
Year: 1999
ISBN: 0-201-39820-6

Concurrent Programming in ML

Authors: John Reppy
Publisher: Cambridge University Press
Year: 1999
ISBN: 0-521-48089-2

Purely Functional Data Structures

Author: Chris Okasaki
Publisher: Cambridge University Press
Year: 1998
ISBN: 0-521-63124-6

The Little MLer

Authors: Matthias Felleisen and Dan Freidman
Publisher:The MIT Press
Year: 1998
ISBN: 0-262-56114-X

Programming with Standard ML

Authors: Chris Clack, Colin Myers, and Ellen Poon
Publisher: Prentice-Hall
Year: 1993
ISBN: 0-13-722075-8

Elementary Standard ML

Authors: Greg Michaelson
Publisher: UCL Press
Year: 1995
ISBN: 1-85728-398-8

A Practical Course in Functional Programming Using Standard ML

Author: Richard Bosworth
Publisher: McGraw-Hill
Year: 1995
ISBN: 0-07-707625-7

Abstract Data Types in Standard ML

Author: Rachel Harrison
Publisher: John Wiley & Sons
Year: 1993
ISBN: 0-471-938440

ML Primer

Authors: Ryan Stansifer
Publisher: Prentice-Hall
Year: 1992
ISBN: 0-13-561721-9

Applicative High Order Programming: the Standard ML perspective

Authors: Stefan Sokolowski
Publisher: Chapman \& Hall Computing
Year: 1991
ISBN: 0-442-30838-8

Elements of Functional Programming

Authors:Chris Reade
Publisher: Addison-Wesley
Year: 1989
ISBN: 0-201-12915-9

Modern Compiler Implementation in ML

Authors:Andrew Appel
Publisher: Cambridge University Press
Year: 1998
ISBN: 0-521-58274-1

Non-programming related books

The Definition of Standard ML (Revised)

Authors:Robin Milner, Mads Tofte, Robert Harper, and David MacQueen
Publisher: The MIT Press
Year: 1997
ISBN: 0-262-63181-4

The Definition of Standard ML

Authors:Robin Milner, Mads Tofte, and Robert Harper
Publisher: The MIT Press
Year: 1989
ISBN: 0-262-63132-6

Commentary on Standard ML

Authors:Robin Milner and Mads Tofte
Publisher: The MIT Press
Year: 1991
ISBN: 0-262-63137-7

ML With Concurrency

Editor:Flemming Nielson
Publisher: Springer
Year: 1997
ISBN: 0-387-94875-9

Compiling with Continuations

Authors:Andrew W. Appel
Publisher: Cambridge University Press
Year: 1992
ISBN: 0-521-41695-7

SML/NJ Documentation


Other Resources


| SML/NJ Home page |
| SML/NJ Documentation Home page |

Send your comments to .
Copyright © 2017, the SML/NJ Fellowship.