CS 15-212: Fundamental Structures of Computer Science II

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

Slides (also in PDF format)

Sample Code

Handouts

• Some Notes on Evaluation (also in PDF format)

On-line Notes by Robert Harper

• Types, Values, and Effects
• Variables and Declarations