Benjamin C Pierce Types and Programming Languages
Atypesystemisasyntacticmethodforenforcinglevelsofabstractioninprograms.Thestudyoftypesystems--andofprogramminglanguagesfromatype-theoreticperspective--hasimportantapplicationsinsoftwareengineering,languagedesign,high-performancecompilers,andsecurity.Thistextprovidesacomprehensiveintroductio
用户评论
上课的教材，个人感觉很抽象
学习类型系统必备之书籍， 已有纸质版了
内容很好，很有帮助，谢谢！
非常好的书
很经典的书，不过好抽象