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.


Frank Pfenning