User Tools

Site Tools


plt17:lecture_18

Differences

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

Link to this comparison view

plt17:lecture_18 [2017/10/13 16:13] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 18 ======
 +Lecture 18  {{ :​plt17:​lectures:​lect18:​main.pdf | Slides}}
 +(Types for Information Flow)
  
 +=== Readings ===
 + 
 +  * "​JFlow:​ Practical Mostly-Static Information Flow Control",​ Andrew C. Myers\\ ([[https://​www.cs.cornell.edu/​andru/​papers/​popl99/​popl99.pdf|https://​www.cs.cornell.edu/​andru/​papers/​popl99/​popl99.pdf]])
 +  ​
plt17/lecture_18.txt ยท Last modified: 2017/10/13 16:13 by hossein