Hacker News
- End-User Probabilistic Programming [pdf] https://www.cs.uoregon.edu/research/summerschool/summer19/lecture_notes/DRAFT___Probabilistic_Programming_for_End_Users.pdf 15 comments
- Logic, Languages, Compilation, and Verification Technical Lectures http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html 2 comments
- Video lecture series on programming languages and formal reasoning http://www.cs.uoregon.edu/Activities/summerschool/summer10/curriculum.html 4 comments
Lobsters
- Technical Lectures on Programming Languages and Logic [2012] https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html 2 comments compsci
- Types, Logic, Semantics, and Verification https://www.cs.uoregon.edu/research/summerschool/summer14/curriculum.html 2 comments compsci , video
- The Oregon Programming Languages Summer School (OPLSS) 2024 https://www.cs.uoregon.edu/research/summerschool/summer24/ 3 comments programminglanguages
- Problems to use to build code portfolio? https://www.cs.uoregon.edu/Classes/15F/cis212/assignments/Assignment3.pdf 4 comments compsci
- Proof Theory: elimination rule https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html 6 comments compsci