Practical Foundations for Programming Languages
作者:
Robert Harper
出版社: Cambridge University Press
出版年: 2016-4-4
页数: 512
定价: USD 80.74
装帧: Hardcover
ISBN: 9781107150300
出版社: Cambridge University Press
出版年: 2016-4-4
页数: 512
定价: USD 80.74
装帧: Hardcover
ISBN: 9781107150300
内容简介
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic se...
该书热门标签
- 最新
- 热门
-
0 rock-A-fella 2017-05-09
句句精辟,一针见血
-
1 梦里醉逍遥 2017-02-20
Robert Harper 真是惜字如金的典范,能用数学公式表达出来的东西就绝不给你举例子……(其实这本书就读了一半,但容我假装一下)
-
1 悟道洞穴人 2017-05-08
没有废话,全程无尿点。偶尔讲个例子还都是 modularity, polymorphism, recursive type 这种不太直观,非讲不可的
-
1 梦里醉逍遥 2017-02-20
Robert Harper 真是惜字如金的典范,能用数学公式表达出来的东西就绝不给你举例子……(其实这本书就读了一半,但容我假装一下)
-
1 悟道洞穴人 2017-05-08
没有废话,全程无尿点。偶尔讲个例子还都是 modularity, polymorphism, recursive type 这种不太直观,非讲不可的
-
0 rock-A-fella 2017-05-09
句句精辟,一针见血
我要写长评
书评
有什么“读后感”吗?您可点击右上角“我要写长评”来进行评价噢。
评价“Practical Foundations for Programming Languages”