Summary: Programming in Standard ML
(DRAFT: VERSION 1.2 OF 11.02.11.)
Carnegie Mellon University
Spring Semester, 2011
Copyright c 2011 by Robert Harper.
All Rights Reserved.
This work is licensed under the Creative Commons
Attribution-Noncommercial-No Derivative Works 3.0 United States
License. To view a copy of this license, visit
http://creativecommons.org/licenses/by-nc-nd/3.0/us/, or send a
letter to Creative Commons, 171 Second Street, Suite 300, San Francisco,
California, 94105, USA.
This book is an introduction to programming with the Standard ML pro-
gramming language. It began life as a set of lecture notes for Computer
Science 15212: Principles of Programming, the second semester of the in-
troductory sequence in the undergraduate computer science curriculum at
Carnegie Mellon University. It has subsequently been used in many other
courses at Carnegie Mellon, and at a number of universities around the