作者	（美）皮尔斯/马世龙/蛙跃飞等
出版社
出版时间	2005-05-01

特色：
类型是计算机程序语言的酵母，若少了它，程序难以被计算机消化。这本优秀的图书集应用、理论和实现为一体，通

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查