User Tools

Site Tools


plc16:lecture_13

Differences

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

Link to this comparison view

plc16:lecture_13 [2016/09/30 12:11] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 13 ======
 +Lecture 13 {{ :​plc16:​lect13:​main.pdf |Slides}}
  
 +=== Readings === 
 +  * PL: BPC Chapter 5
 +
 +=== Optional Readings ===
 +  * Luca Cardelli (Microsoft Research) has a nice write-up on [[http://​lucacardelli.name/​Papers/​TypeSystems.pdf|Type Systems]].
plc16/lecture_13.txt ยท Last modified: 2016/09/30 12:11 by hossein