This shows you the differences between two versions of the page.
— |
cc17:lecture_25 [2017/03/31 11:13] (current) hossein created |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Lecture 25 ====== | ||
+ | Lecture 25 {{ :cc17:lectures:lect25:main.pdf |Slides}} | ||
+ | (More Type Rules) | ||
+ | |||
+ | This lecture continues discussing more type checking rules. | ||
+ | |||
+ | === Readings === | ||
+ | |||
+ | * Tiger Book Chapter 5.2 | ||