MARC状态:已编 文献类型:中文图书 浏览次数:45
- 题名/责任者:
- 类型和程序设计语言/(美)Benjamin C.Pierce著 马世龙等译
- 出版发行项:
- 北京:电子工业出版社,2005
- ISBN及定价:
- 7-121-01149-2/CNY58.00
- 载体形态项:
- 422页;26cm
- 编目员补充题名:
- 类型和程序设计语言
- 个人责任者:
- Benjamin 著
- 个人责任者:
- C.Pierce 著
- 学科主题:
- 程序设计语言学
- 中图法分类号:
- TP311.1
- 一般附注:
- 国外计算机科学教材系列
- 提要文摘附注:
- 本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。
全部MARC细节信息>>