Portland State University;
机译:使用类型理论中的解释验证非功能程序
机译:作为功能性概念的生命:功能主义作为多元实现的生活系统的理论和定义的强大框架
机译:高阶类型函数编程中带有粘合剂的归纳定义的上下文等价
机译:定义用于生成软件测试程序的系统方法,允许对片上系统(SoC)进行功能验证
机译:用定义,算术和有限域进行一阶逻辑的证明
机译:使用原子的常见空间分布将功能不同的流感病毒N10和N11蛋白结构与功能表征的神经氨酸酶结构毒素细胞进入域和非流感病毒细胞进入域联系起来
机译:HOLCF ’11:用于验证功能程序的定义域理论