🧠Theoretical CS & Programming Languages¶
Automata, computability, compilers, type theory, and the mathematical foundations of computing.
→ See also: Mathematics · Systems Track
Theory of Computation¶
| Course | Platform | Institution | Level |
|---|---|---|---|
| 18.404J Theory of Computation | MIT OCW | MIT (Michael Sipser) | Intermediate |
| CS 154 Automata and Complexity Theory | YouTube | Stanford (Jeffrey Ullman) | Intermediate |
| Great Ideas in Theoretical CS | YouTube | CMU | Intermediate |
| Theory of Automata, Formal Languages and Computation | NPTEL | IIT Madras | Intermediate |
Compilers & Programming Languages¶
| Course | Platform | Institution | Level |
|---|---|---|---|
| Compilers | Stanford Online | Stanford (Alex Aiken) | Intermediate |
| CS 6120 Advanced Compilers | Cornell | Cornell | Advanced |
| Compiler Design | NPTEL | IISc Bangalore | Intermediate |
| CSE341 Programming Languages | YouTube | UW (Dan Grossman) | Intermediate |
| Category Theory for Programmers | YouTube | Bartosz Milewski | Advanced |
Type Theory & Functional Programming¶
| Course | Platform | Institution | Level |
|---|---|---|---|
| Oregon PL Summer School (OPLSS) | YouTube | U of Oregon | Advanced |
| Functional Programming in Haskell | NPTEL | IIT Madras | Intermediate |
| OCaml Programming: Correct + Efficient + Beautiful | YouTube | Cornell | Intermediate |
Also See¶
📺 For the full list of 50+ theory & PL video courses, see
cs-video-courses/README.md#theoretical-cs-and-programming-languages.
Cross-references: Mathematics · Systems Track