作者:
Robert Harper
出版社: Cambridge University Press
出版年: 2012-11
页数: 487
定价: USD 72.81
装帧: Hardcover
ISBN: 9781107029576
出版社: Cambridge University Press
出版年: 2012-11
页数: 487
定价: USD 72.81
装帧: Hardcover
ISBN: 9781107029576
这本书的其他版本 · · · · · · ( 全部3 )
以下书单推荐 · · · · · · ( 全部 )
- Programming Language (Kitorinix)
- Programming Language Theory (吴上阿吉)
- 计算机基本功 (轻装前行)
- 不明所以 (羊羽北)
- Programming languages theory (ItTrivial)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有117人想读,手里有一本闲着?
订阅关于Practical Foundations for Programming Languages的评论:
feed: rss 2.0










0 有用 Duke 2020-10-21 23:40:30
补标,和TAPL定位差不多,这是第一版,第二版改写了不少
0 有用 sigsegv 2021-04-12 14:52:01
在CMU上课用的教材,书本身比较晦涩(很多bob夹带私货的术语/暴论),如果不是上过CMU的课的话很难理解。
0 有用 ダルクvan 2025-03-19 16:42:16 广东
对读者非常不友好的一本书:CMU 在教授这门的时候,重点就没放在过前面的这个 part one 上面,都是从 lambda calculus 开始讲起,一个 PFPL 的 supplement,那我说确实啊,lambda calculus 是很好的例子,很适合教授。 PFPL 只能通过 supplement 来挽尊。要我说 Harper 本不该将这个书出版,因为出版了之后基本不允许大的变动了,而... 对读者非常不友好的一本书:CMU 在教授这门的时候,重点就没放在过前面的这个 part one 上面,都是从 lambda calculus 开始讲起,一个 PFPL 的 supplement,那我说确实啊,lambda calculus 是很好的例子,很适合教授。 PFPL 只能通过 supplement 来挽尊。要我说 Harper 本不该将这个书出版,因为出版了之后基本不允许大的变动了,而这本书是需要变动的。而且 Harper 的符号用法实在是太特别了… (展开)