程序語言設計理論有哪些優秀的在線課程？

以及對應的教材

如果不要求講課視頻，只有課程主頁和課件也可以的話：

Frank Pfenning / Courses

從最基礎的 PLT 入門課，到編譯器實現、自動定理證明、邏輯編程、模態/線性邏輯、形式語言與自動機等話題，Frank Pfenning 都有講過對應的課。畢竟大佬

除了 Canto Ostinato 提到的 https://www.cs.cmu.edu/~fp/courses.html

再推薦位值得認識尊敬的..Dexter Kozenamp;amp;amp;#x27;s Home Page ， 他也有些課不錯，如

• CS 3110 S11 Data Structures and Functional Programming
• CS 6860 F10 Logics of Programs

除了「程序語言」，Pfenning對proof theory, logic programming, theorem proving（注意這些其實算3個領域..）都有相當貢獻， Kozen也玩過不少東西如計算理論、符號計算等..

MOOC的話只知道華盛頓大學做的一個:

Programming Languages, Part A - University of Washington | Coursera

（總共分了三部分 A B C）

程序語言設計這課一般都是本科編譯器課的鋪墊...我們學校這課曾經用的是Krishnamurthi的Programming Languages: Application and Interpretation（非第二版 這本書在知乎某知名PL專欄上有翻譯） 不過現在主要依靠教學組自編的Lecture notes，只是把這本書和Robert Harper的PFPL列為參考用書。補充材料有Daniel Friedman的TLS和TSS。別的學校基本上只有講義沒有搞公開課...我們學校的也是YouTube上搜不到視頻

順便推薦一下miniKanren.org的William Byrd

（王垠在文章中多次提到過這個項目 不過這一系列視頻主要側重於Logic Programming）

基礎知識：

Scheme入門 模式匹配

Call/CC CPS變換 宏 狀態機

每周一次的線上正課：

彩蛋：還記得王垠提過的Does it run backwards嗎？

IIT課店 發現好課程 可以到這個網站搜搜看