用来囤PL相关的材料
Category Theory
Bartosz Milewski: Category Theory for programmers
Daniel Tubbenhauer的课程网站以及他对category theory历史的课件
上面这个人还有一个youtube频道解释东西都挺清楚的（我是看他解释monad才懂的）
可能更一些categorical logic相关的东西
Coq: Software Foundation
Automated Reasoning
aws的简介挺有帮助的
Program Analysis
Veridise做了亲民的intro
杂
POPL2018采访了很多业内人士
Jean Yang 的 PL学习资料推荐
lambda calculus: then and now by Dana Scott princeton的演讲视频 ACM的演讲视频
What I Wish I Knew When Learning Haskell
Alex Aiken 的 PL课
NEXTAncient Greek