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.