#292 overall
Type Theory (Robert Harper)
Oregon Programming Languages Summer School
2 recommenders · 2 threads · recommended in 1 year, 2014 · score 1.7
A video lecture series on type theory given by Robert Harper at the Oregon Programming Languages Summer School, covering the theory underlying programming languages and proofs.
Commenters recommend it as a strong lecture series on type theory, with one saying the lectures are great and another highly suggesting them, though audio and video quality are sometimes weak.
Programming Languagesadvancedfreevideo lectures#type theory#programming languages#proofs#harper#oplss
Recommendations by year
20062026
I highly suggest Robert Harper's lectures from the Oregon Programming Languages Summer School. I watched the OPLSS'12 lectures, but I'm sure they're great any year.
Seconded! I've been working my way through both of those for a while. For those who like watching lectures (as I do), I would also recommend Pierce's lectures on the same material as Software Foundations, Harper's lectures on type theory, and the other associated lecture serieses, all coming from a session of the Oregon Programming Languages Summer School, and available on youtube. Unfortunately there are some gaps in the software foundations lectures, but considering that it's a complement to an already detailed set of literature, it's not a major issue. Also unfortunately, the quality of the audio and video aren't always the greatest. But, beggars can't be choosers! It's still great material.