作者	陈意云
出版社
出版时间	2004-09-01

特色：

本书以类型为中心，对程序设计语言进行的这种研究，在软件工程、语言设计、高性能编译器、计算机和网络安全等方面有着重要应用。