实用类型程序设计

实用类型程序设计
7030028546
屈延文

TP311
科学出版社
1992-08
1992
1992
本书内容包括类型程序设计概念、类型函数的算法分析与设计、构造式类型程序设计、推导式类型程序设计、大型软件程序设计等。