西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

类型和程序设计语言/(美)Benjamin C.Pierce著 马世龙, 眭跃飞等译

出版发行项:

北京:电子工业出版社,2005

ISBN及定价:

7-121-01149-2/CNY58.00

载体形态项:

19,422页;26cm

并列正题名:

Types and Programming Languages

丛编项:

国外计算机科学教材系列

个人责任者:

(美) 皮尔斯 (Pierce, Benjamin C.) 著

个人次要责任者:

马世龙 译

个人次要责任者:

眭跃飞 译

学科主题:

类型学(语言学)-应用-程序语言-教材

中图法分类号:

TP312

版本附注:

MIT Press授权出版

提要文摘附注:

本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化等内容。

豆瓣简介：