T007816　实用类型程序设计

---

屈延文等编著。

科学出版社1992年8月版。86万字。讨论面向软件应用与软件自动生成的实用规模软件开发的新技术——类型程序设计方法学。

围绕这一主题，讨论了类型程序设计的基本实施原则。

内容包括类型程序设计概念，类型函数的算法分析与设计，自下而上构造式的类型程序设计，自上而下推导式的类型程序设计，并发类型程序设计，大型软件的程序设计，Martin－1?f类型论及用类型表达式描述的VA／VMS的一个简明的类型语义。书中配备了大量的VAXC语言的实例程序及程序设计习题。