15-312 Foundations of Programming Languages
Lecture 18: Records and Variants

In this lecture we introduce labelled records and their dual, named variants. We give the rules for typing and evaluating both, and discuss subtyping for the new constructs.

• Lecture notes: 18-recordsvariants.pdf
• Reading: Pierce Ch.11
• Previous lecture: IO Monad
• Next lecture: EML

[ Home | Schedule | Assignments | Software | Resources ]

fp@cs
Frank Pfenning