Programming in Standard ML 97 A Tutorial Introduction

Short Description
Other material on Standard ML is available from the World-Wide Web page for the course. This. is located at http://www.dcs.ed.ac.uk/home/stg/tutorial/. …

Website: www.lfcs.inf.ed.ac.uk | Filesize: 748kb

Content
Programming in Standard ML ‘97:
A Tutorial Introduction
Stephen Gilmore
Laboratory for Foundations of Computer Science
Department of Computer Science
The University of Edinburgh
September 1997Copyright notice
This work is copyright c
1997. The copyright resides with the author, Stephen Gilmore. Copyright
and all rights therein are maintained by the author, notwithstanding that he has oered 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 such…