首页
我的豆瓣
友邻
小组
读书
电影
音乐
同城
广场
书籍
电影
音乐
博客
小组
成员
活动
热评
排行榜
分类浏览
你好,请
登录
或
注册
类型和程序设计语言
加入我的收藏
想读
在读
读过
评价:
3
1
0
0
0
放在你的blog里!
又名: Types and Programming Languages
译者
:
马世龙
/
蛙跃飞
作者
:
(美)皮尔斯
ISBN:
9787121011498
页数:
422
定价:
58.0
出版社:
电子工业出版社
装帧:
平装
出版年:
2005-5-1
X
登录 · · · · · ·
Email:
密 码:
忘记密码了
在这台电脑上记住我
>还没有注册...
简介 · · · · · ·
类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。
要理解类型系统在程序设计语言中发挥的作用,本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度,也注重内容的深度,实用性强。在引入语言的语法对象时先举例,然后给出形式定义及基本证明,在对理论的进一步研究后给出了类型检查算法,并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述,为读者提供了一个进一步理论学习的基础。本书内容广泛,读者可以根据自己的需要有选择地深入阅读。
本书适合从事程序设计的研究人员和开发人员,以及程序设计语言和类型理论的研究人员阅读。可作为计算机专业高年级学生、研究生的学习教材。
豆瓣成员常用的标签(共12个) · · · · · ·
计算机科学
(7)
Programming
(4)
程序设计语言
(4)
类型系统
(3)
FP
(2)
Functional
(2)
理论
(2)
计算机
(2)
喜欢读"这本书"的人也喜欢: · · · · · ·
程序设计语言的形式语义
程序设计语言理论基础
Real World Haskell
How to Design Programs
ML程序设计教程(原书第2版...
人工智能:一种现代方法(...
计算机程序的构造和解释(...
面向模式的软件体系结构卷...
Python Cookbook
大师的智慧
"类型和程序设计语言"论坛 · · · · · ·
好书!
来自
ISO认证的正牌大混蛋
2008-06-18
我来评论这本书
X
登录 · · · · · ·
Email:
密 码:
忘记密码了
在这台电脑上记住我
>还没有注册...
豆瓣成员最受欢迎的书评 (1条) · · · · · ·
引人深思
蛋香丝
(北京)
看完这本书后,无论是对传统C/C++,还是对functional language,都会有深一层的理解 遗憾的是,我只读完了前5章......
2007-08-22
我来评论这本书
X
登录 · · · · · ·
Email:
密 码:
忘记密码了
在这台电脑上记住我
>还没有注册...
在哪儿买这本书? · · · · · ·
卓越亚马逊
(
RMB 43.4
)
当当网
(
RMB 43.5
)
蔚蓝网
(
RMB 45.24
)
中国图书网
(
RMB 47.0
)
查看6家网店价格(40.0元起)
1本二手书欲转让
(44.0元)
> 点这儿转让
有22人想读,手里有一本闲着?
X
登录 · · · · · ·
Email:
密 码:
忘记密码了
在这台电脑上记住我
>还没有注册...
以下豆列推荐 · · · · · ·
理论计算机科学——程序设计语言
(来自:
网络流
)
Functional Programming
(来自:
Daniel
)
语义和类型系统
(来自:
Yingfeng
)
谁读这本书?
happyxzw
10月7日想读
compactset
9月27日想读
Assertion
8月16日读过
httg
6月25日想读
>
5人在读
>
5人读过
>
22人想读
>
收藏本书的3个小组
订阅关于类型和程序设计语言的评论:
feed: rss 2.0
© 2005-2008 douban.com, all rights reserved
关于豆瓣
·
帮助中心
·
隐私原则
·
豆瓣服务(API)