This shows you the differences between two versions of the page.
— |
plc16:lecture_24 [2016/11/07 18:34] (current) hossein created |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Lecture 24 ====== | ||
+ | Lecture 24 {{ :plc16:lect24:main.pdf | Slides}} | ||
+ | |||
+ | We started type inference in lecture 24 by solving some examples. | ||
+ | |||
+ | === Readings === | ||
+ | * PL: BPC Chapter 7 | ||