This shows you the differences between two versions of the page.
— |
cc17:lecture_23 [2017/03/24 23:24] (current) hossein created |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Lecture 23 ====== | ||
+ | Lecture 23 {{ :cc17:lectures:lect23:main.pdf | Slides}} | ||
+ | (Introduction to Type Checking) | ||
+ | |||
+ | This lecture is starts the topic of type checking. | ||
+ | |||
+ | === Readings === | ||
+ | |||
+ | * Tiger Book Chapter 5.2 | ||