各个地方的PL课

如题

主要是来存一下网站的

本来平常丢链接都是丢到FP Materials的 但感觉在美国通常这些话题会在一个广义的PL课被介绍

超级大库存：https://github.com/steshaw/plt

我校的PL课就不用多说了

Utah的PL课

Matthew Flatt 甚至把课程内容全部录制到youtube上了

课本是Sriram的

Berkeley的PL课
与其说是PL 不如说是加了很多compiler内容的课

Will Crichton 开了个比较新潮的PL课 主要有wasm和rust

比较经典的TAPL其实反而我找不到什么课能讲得比较全 BCP自己07年后就用software foundation来教CIS5000了 之前也就基本讲到Chap19（有32个Ch 落下了Recursive Type, Polymorphism, 和各种Higher Order变种） JF好像对这本书有点意见 我也不太懂
AA倒是有一个seminar（CS7480)会cover一点后面的东西 说不定什么时候可以找来读一读

DD的semantics前四章也是很认真的讲了TAPL后面的内容 彻底抛弃了subtyping来把精力花在system F, existential types, recursive types, mutable state

哈佛的PL special topics 基本每年都有