15-212: Principles of Programming

Lecture 7: Data Structures, Abstraction Functions, and Representation Invariants

Key Concepts

Signatures and structures
Signature ascription
Opaque and transparent ascription
Data abstraction
Abstraction functions
Representation invariants
Data persistence
Binary search trees

Sample Code

On-line Notes by Robert Harper

Suggested Reading in Programming in Standard ML:

Chapter 18: Signatures and Structures

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

Michael Erdmann