CS 131: Programming Languages
Spring 2001

RECENT CHANGES

• 4/27: Sample solutions for Assignments 10 and 11 available.

Course Administration

• Syllabus
• Schedule, Slides, and Assignments

Information on the Standard ML Language

• The (optional) course textbook is Introduction to Programming using SML, by Michael R. Hansen and Hans Rischel. The book's web page includes code for examples in the book and a list of corrections. Be aware that this book uses a different implementation of SML than we will be using, so the exact format of responses and error messages will be slightly different.

• It is strongly suggested you read this guide to using SML/NJ.

• Here is a short list of pitfalls that novice SML programmers tend to run into.

• Robert Harper at Carnegie Mellon University has written a tutorial Programming in Standard ML that is available on-line. You may want to start here.

• We will be using the Standard ML of New Jersey compiler, a free compiler developed at Bell Labs. This is already installed on turing, but if you want to play with it on your own computer, distributions for various architectures (including windows and linux) can be downloaded.

• Documentation for the Standard ML Basis (i.e., the standard library) is available on-line. Portions also appear in Appendix D of the course textbook.