Types and Programming Languages
出版社: The MIT Press
出版年: 2002-2-1
页数: 645
定价: USD 89.00
装帧: Hardcover
ISBN: 9780262162098
内容简介
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of ...
该书热门标签
- 最新
- 热门
-
0 lkymlf598 2015-07-27
书是挺好的,但是越来越读不懂了(2015/3-2015/7)
-
0 [已注销] 2009-09-24
介绍programming languages,抽象,难懂,但很有意思
-
0 David Frank 2009-06-24
始终没读懂的一本书
-
0 洋芋吃洋芋 2014-08-24
前面比较啰嗦
-
2 jerryzou 2015-06-15
比较难理解的一本理论书。但稍有感悟之后,再看回头这些茫茫多的程序语言的设计思想还是别有一番滋味!
-
0 otakugeek 2014-04-17
基本以定理证明为主. 看完也基本忘光了
-
0 湜漪 2017-03-16
上TAPL的时候认认真真把这本书看了一遍,收获很多,而且课程拿了 A+开心~
-
0 顾遇绸缪 2006-05-24
textbook
-
0 Tomato 2016-02-29
跳过了各种证明 ...
-
2 阳广林 2014-08-21
13/5/2 pdf英文+实体中文对照 虽然还剩十章没看, 虽然看到recursive types, algorithm W的时候已经雾里云中, 但是在读了一年, 而且感觉接下来不会读了, 虚荣心致使我还是标记为"已读"吧... 书是好书
-
3 宾州星际哥 2013-07-22
如果是入门的话我推荐这个: http://lucacardelli.name/papers/typesystems.pdf 类型系统身为一个formal system,应该是计算机领域里最漂亮的东西之一了,不过想要搞明白需要反复的看
-
2 jerryzou 2015-06-15
比较难理解的一本理论书。但稍有感悟之后,再看回头这些茫茫多的程序语言的设计思想还是别有一番滋味!
-
2 阳广林 2014-08-21
13/5/2 pdf英文+实体中文对照 虽然还剩十章没看, 虽然看到recursive types, algorithm W的时候已经雾里云中, 但是在读了一年, 而且感觉接下来不会读了, 虚荣心致使我还是标记为"已读"吧... 书是好书
-
0 lkymlf598 2015-07-27
书是挺好的,但是越来越读不懂了(2015/3-2015/7)
-
0 [已注销] 2009-09-24
介绍programming languages,抽象,难懂,但很有意思
-
0 David Frank 2009-06-24
始终没读懂的一本书
-
0 洋芋吃洋芋 2014-08-24
前面比较啰嗦
-
0 otakugeek 2014-04-17
基本以定理证明为主. 看完也基本忘光了
-
0 湜漪 2017-03-16
上TAPL的时候认认真真把这本书看了一遍,收获很多,而且课程拿了 A+开心~
-
0 顾遇绸缪 2006-05-24
textbook
评价“Types and Programming Languages”