15-851 Computation and Deduction
Lecture 27: Recursive Types

So far, we have defined data types such as natural numbers or lists by extending our language through new constructors and destructors. They are instances of a more general class of recursive types. We introduce recursive types and show how they can implement natural numbers, lists, trees, and related types.

• Reading: in preparation
• Code: rectype
• Previous lecture: Equational Reasoning
• Next lecture: Abstract Types

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

fp@cs
Frank Pfenning