CS 15-212: Fundamental Structures of Computer Science II

Lecture 01: 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.

Key Concepts

Slides (also in PDF format)

Sample Code


On-line Notes by Robert Harper

[ home | schedule | language | assignments | handouts | recitations ]

Frank Pfenning