User Tools

Site Tools


plt17:lecture_12

Differences

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

Link to this comparison view

Next revision
Previous revision
plt17:lecture_12 [2017/09/27 16:51]
hossein created
plt17:lecture_12 [2017/09/29 15:41] (current)
hossein
Line 1: Line 1:
 ====== Lecture 12 ====== ====== Lecture 12 ======
-Lecture 12  {{ :​plt17:​lectures:​lect1:main.pdf | Slides}}  +Lecture 12  {{ :​plt17:​lectures:​lect12:main.pdf | Slides}}  
-(Simple Types: Progress ​\& Preservation)+(Simple Types: Progress & Preservation)
  
 === Readings === === Readings ===
    
   * "Types and Programming Languages",​ Chapter 8.3   * "Types and Programming Languages",​ Chapter 8.3
plt17/lecture_12.1506545516.txt.gz · Last modified: 2017/09/27 16:51 by hossein