Media Summary: Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ...
Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ...
![Computational Type Theory [5/5] - Robert Harper - OPLSS 2018](https://i.ytimg.com/vi/RhDuRmg-SdA/mqdefault.jpg)
Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ...
![Computational Type Theory [2/5] - Robert Harper - OPLSS 2018](https://i.ytimg.com/vi/1U4w0159-Ls/mqdefault.jpg)
Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ...
![Computational Type Theory [1/5] - Robert Harper - OPLSS 2018](https://i.ytimg.com/vi/LE0SSLizYUI/mqdefault.jpg)
Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ...
![Computational Type Theory [3/5] - Robert Harper - OPLSS 2018](https://i.ytimg.com/vi/GzPMZ6RsihU/mqdefault.jpg)
Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ...
![Computational Type Theory [4/5] - Robert Harper - OPLSS 2018](https://i.ytimg.com/vi/pfOQ97iCIsk/mqdefault.jpg)
Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ...
Robert Harper -