plt17:lecture_18

Lecture 18

Lecture 18 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)

plt17/lecture_18.txt · Last modified: 2017/10/13 16:13 by hossein