#618 overall
Software Foundations (Benjamin Pierce)
Oregon Programming Languages Summer School
1 recommender · 2 threads · recommended in 2 years, 2014–2015 · score 0.8
Software Foundations is a free, online textbook-style course on the mathematical foundations of programming languages and formal verification, using the Coq proof assistant. It is taught as a set of interactive Coq chapters, and was presented with Pierce's lectures at the Oregon Programming Languages Summer School.
Commenters call it a well-structured complement to Pierce's lectures on YouTube, though one notes gaps in the material and uneven audio and video quality.
Recommendations by year
20062026
Also (and IMO this one is a little more well-structured) the Software Foundations course[0]. Especially when supplemented by Pierce's excellent lectures, available on youtube.
[0]: http://www.cis.upenn.edu/~bcpierce/sf/current/index.html
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.