打字约束逻辑程序
摘要：具有参数多态和子类型的约束逻辑程序的规定类型系统 具有参数多态和子类型的约束逻辑程序的规定类型系统 具有参数多态和子类型的约束逻辑程序的规定类型系统 约束逻辑程序的规定类型系统的性质 约束逻辑程序的规定类型系统的实现 类型检查和类型推导的系统实现 对ISO-Prolog、Sicstus Prolog和其他Prolog程序进行类型检查的实验结果
作者：Francois Fages, Emmanuel Coquery
论文ID：cs/0405100
分类：Programming Languages
分类简称：cs.PL
提交时间：2009-09-29