Oregon Programming Languages Summer School (2016) | Lobsters

6

Oregon Programming Languages Summer School (2016) ☶ compilers compsci cs.uoregon.edu
via evhan 1 year ago | cached | no comments

0

This is an annual conference run by the University of Oregon focusing on programming language technologies. Video lectures go back through 2008:

2016 - Types, Logic, Semantics, and Verification (linked)
2015 - Types, Logic, Semantics, and Verification
2014 - Types, Logic, Semantics, and Verification (previously posted)
2013 - Types, Logic, and Verification
2012 - Logic, Languages, Compilation, and Verification (previously posted)
2011 - Types, Semantics and Verification
2010 - Logic, Languages, Compilation, and Verification
2009 - Theory and Practice of Language Implementation
2008 - Logic and Theorem Proving in Programming Languages

There are conference pages going all the way back through 2002, but without videos.