Types and Programming Languages

作者: Benjamin C. Pierce
ISBN: 9780262162098
页数: 623
定价: USD 72.00
出版社: The MIT Press
装帧: Hardcover
出版年: 2002-02-01

9.2

(16人评价)

68.8%
25.0%
6.2%
0.0%
0.0%
评价:

豆瓣成员常用的标签(共24个)   · · · · · · 

Theory(10)  programming(9)  PL(6)  计算机科学(5)  Language(3)  计算机(3)  cs(3)  编程语言(2)  

喜欢读"Types and Programming Languages"的人也喜欢   · · · · · · 

Haskell
Real World Haskell
Introduction to the Theory of Computation, Second Edition
Coders at Work
GNU Emacs Lisp 编程入门[按需印刷]
Godel, Escher, Bach
Essentials of Programming Languages - 2nd Edition
Structure and Interpretation of Computer Programs - 2nd Edition (MIT)
Practical Common Lisp
深渊上的火

"Types and Programming Languages"论坛   · · · · · · 

习题3.5.13第二问的证明来自席子2009-07-23

在哪儿买这本书?   · · · · · · 

以下豆列推荐 · · · · · · (全部)

谁读这本书?

Jan
Jan
12月6日读过


Terry
Terry
12月3日想读


Francis
Francis
11月26日想读

tags:PL Theory
http://www.cis.upenn.edu/%7Ebcpierce/tapl/index.html

pierric
pierric
11月13日想读


> 4人在读

> 14人读过

> 52人想读




订阅关于Types and Programming Languages的评论:
feed: rss 2.0