泛型程序设计方法、语言和泛型程序库研究

本项目属于程序设计语言及其基础支撑技术方面的应用基础研究，通过使用程序的类型信息来支持新的抽象机制和程序设计方法。内容包括静态类型需求的表示、语言支持及实现、类型约束库的设计等，由此实现了对静态类型需求的编译检查和直接语言支持，其研究成果丰富了程序设计中的相关研究内容，同时在实际程序设计中具有极大的应用价值。