作者:
Robert Harper
出版社: Cambridge University Press
出版年: 2016-4-4
ISBN: 9781107150300
页数: 512
装帧: Hardcover
定价: USD 80.74
出版社: Cambridge University Press
出版年: 2016-4-4
ISBN: 9781107150300
页数: 512
装帧: Hardcover
定价: USD 80.74
这本书的其他版本 · · · · · · ( 全部3 )
以下书单推荐 · · · · · · ( 全部 )
- 入门(selected;in Eng & other L) (sinceever)
- 入门(rough) (sinceever)
- 编程语言理论(PLT)/逻辑/代数 (lava)
- [计算机]编程语言理论 (H)
- 最新看情况 (在一切终结之前)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有204人想读,手里有一本闲着?
订阅关于Practical Foundations for Programming Languages的评论:
feed: rss 2.0










2 有用 悟道洞穴人 2017-05-08 10:42:36
没有废话,全程无尿点。偶尔讲个例子还都是 modularity, polymorphism, recursive type 这种不太直观,非讲不可的
4 有用 梦里醉逍遥 2017-02-20 13:35:36
Robert Harper 真是惜字如金的典范,能用数学公式表达出来的东西就绝不给你举例子……(其实这本书就读了一半,但容我假装一下)
0 有用 Duke 2020-10-21 23:41:09
补标
0 有用 rock-A-fella 2017-05-09 10:21:34
句句精辟,一针见血
4 有用 nomadmonad 2019-08-03 21:50:11
非常硬核的pl入门(keng)书,这标题也是有点搞笑,书里的东西一点也不practical....太难了