plc16:lecture_16
Lecture 16
Lecture 16 Slides
In lecture 16 we mostly discussed kinds. Kinds classify types (and type constructors) in much the same way that types classify terms.
Readings
- PL: BPC Chapter 6
plc16/lecture_16.txt · Last modified: 2016/10/12 16:57 by hossein