- Oregon Programming Languages Summer School 2015 https://existentialtype.wordpress.com/2015/02/20/oplss-2015-announcement/ 20 comments programming
- Oregon Programming Languages Summer School 2015 https://existentialtype.wordpress.com/2015/02/20/oplss-2015-announcement/ 5 comments haskell
- The Oregon Programming Languages Summer School (OPLSS) 2024 https://www.cs.uoregon.edu/research/summerschool/summer24/ 3 comments programminglanguages
- Oregon Programming Languages Summer School: Types, Semantics, and Verification http://lists.seas.upenn.edu/pipermail/types-announce/2011/002241.html 20 comments haskell