Oregon Programming Languages Summer School Foundations of Probabilistic and Security Programming June 17-29, 2019 University of Oregon https://www.cs.uoregon.edu/research/summerschool/summer19/ Title: Practical Foundations for Programming Languages Speaker: Robert Harper, Carnegie Mellon University Date: Wednesday, 19 June 2019, Session 2 © 2019, University of Oregon
No download links available.