plc16:lecture_13

Lecture 13

Lecture 13 Slides

Readings

PL: BPC Chapter 5

Optional Readings

Luca Cardelli (Microsoft Research) has a nice write-up on Type Systems.

plc16/lecture_13.txt · Last modified: 2016/09/30 12:11 by hossein