扩展构造演算相关硕士博士期刊学术论文

介绍一种扩展的类型理论构造演算ＥＣＣ；讨论了用它表示松散语义抽象类型的程序规范的方法，然后介绍如何用函数型语言ＭＬ使这种方法得以实现。......