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.

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

Frank Pfenning