User Tools

Site Tools


plt17:lecture_12

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
plt17:lecture_12 [2017/09/27 16:52]
hossein
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)
  
plt17/lecture_12.txt ยท Last modified: 2017/09/29 15:41 by hossein