15-212: Principles of Programming

Lecture 1: Types and Evaluation

We outline the course, its goals, and talk about various administrative issue which you can find in the syllabus. We also introduce the language ML which is used throughout the course. For a general introduction to ML, see the textbook or the introduction and overview of the on-line notes provided by Robert Harper.

Be sure to read the Course Syllabus.

Key Concepts

Lecture Slides

Sample Code


On-line Notes by Robert Harper

Suggested Reading in Programming in Standard ML:

[ CS 15-212 Home page | schedule | language | assignments | handouts ]

Michael Erdmann