15-212: Principles of Programming

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.

Key Concepts

• Types
• Values and Expressions
• Typing rules
• Evaluation rules
• Integers, floating point numbers, booleans, products

Lecture Slides

Sample Code

Handouts

• Some Notes on Evaluation

On-line Notes by Robert Harper

• Types, Values, and Effects
• Variables and Declarations

Suggested Reading in Programming in Standard ML:

• Chapter 2: Types, Values, and Effects

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

Michael Erdmann