Foundations for Programming Languages John C. Mitchell MIT 1996
顾名思义，是关于编程语言的一些共性的、基础性概念的一本书。
下载地址
用户评论
djvu格式，扫描版的，还算清楚，有点歪