PLT相关图书会按更新时间、出版时间和评分持续整理，适合从主题维度系统浏览。
Proofs and Types
Jean-Yves Girard, Yves Lafont, Paul Taylor
评分 暂无
Marin-Lof类型论程序设计导引
Bengt Nordstrom
Programming Languages
Shriram Krishnamurthi
评分 8.9分
Living Clojure
梅尔 (Carin Meier)
