作者:
Benjamin C. Pierce
出版社: The MIT Press
出版年: 2002-2-1
页数: 645
定价: USD 95.00
装帧: Hardcover
ISBN: 9780262162098
出版社: The MIT Press
出版年: 2002-2-1
页数: 645
定价: USD 95.00
装帧: Hardcover
ISBN: 9780262162098
这本书的其他版本 · · · · · · ( 全部3 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 语言、思维与智能 (pem)
- 易筋经 (roy_hu)
- learn about computer science (paranoid.emacs)
- Programming Language (Kitorinix)
- 未来的书架-epsilon (Stan)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有1160人想读,手里有一本闲着?
订阅关于Types and Programming Languages的评论:
feed: rss 2.0
0 有用 CHUN 2022-11-03 20:14:08 上海
看到了subtype,看不下去了。┭┮﹏┭┮
0 有用 洋芋吃洋芋 2014-08-24 17:06:12
前面比较啰嗦
1 有用 顾遇绸缪 2006-05-24 14:37:58
textbook
0 有用 啊呜呜啊 2020-11-15 10:46:40
数理逻辑回炉重造 😔
0 有用 David Frank 2009-06-24 04:13:20
始终没读懂的一本书
0 有用 老C 2023-10-21 11:08:41 广东
从2023年4月份看到10月份,半年的时间看了第一遍看到了子类型这部分,暂时不打算继续往下看,等时间消化这部分内容,后面再接着看。
0 有用 CHUN 2022-11-03 20:14:08 上海
看到了subtype,看不下去了。┭┮﹏┭┮
0 有用 233 2022-07-30 11:35:09
马马虎虎看完。有点难
0 有用 das Seyn 2022-05-04 06:49:10
上初中的时候,我还想着以后学 CS 研究 PLT 呢。幸亏没来学,不然肯定找不着工作。 书绝对是好书。
0 有用 后火Backfire 2022-03-10 19:52:39
somewhat implicit type system