Programming in Standard ML 97 A Tutorial Introduction

Short Description
standard, and some even pre-date that. Another on-line tutorial on SML ‘97 is Harper’s. “Programming in Standard ML” which is available from his Web page at …

Website: www.dcs.ed.ac.uk | Filesize: 409kb

Content
Programming in Standard ML ‘97:
A Tutorial Introduction
Stephen Gilmore
Laboratory for Foundations of Computer Science
The University of Edinburgh
September 1997
(Revised: July 1998, April 2000, Jan 2003)Copyright notice
This work is copyright
c 1997, 1998, 2000, 2003. The copyright resides with the author,
Stephen Gilmore. Copyright and all rights therein are maintained by the author, notwithstanding
that he has offered his work for electronic distribution. It is understood that all
persons copying this information will adhere to the terms and constraints invoked by the
author’s copyright. This work may not be reposted without the explicit permission of the
copyright holder. Single copies can be made for personal or scholarly use.
Disclaimer of warranty
The computer programs which appear in this tutorial are distributed in the hope that they
will be useful, and of educational value. Although they are not known to contain errors they
are provided without warranty of any kind. We make no warranties, express or implied, that
the example functions and programs are free from error, or are consistent with any particular
standard of merchantability, or that they will meet your requirements for any particular
application. They should not be relied upon for use in circumstances where incorrect results
might lead to injury to persons, loss of income, or damage to property or equipment. If
you do use these programs or functions in…