User Tools

Site Tools


cc17:lecture_23

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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
  
cc17/lecture_23.txt ยท Last modified: 2017/03/24 23:24 by hossein