Healfdene Goguen公司
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2010 [第12条] 阿德里安娜·B·孔皮诺尼 , Healfdene Goguen公司 :
关联教堂风格和咖喱风格子类型。 ITRS公司 2010 : 1-15
2000 – 2009
2008 [j5] 阿德里安娜·B·孔皮诺尼 , Healfdene Goguen公司 :
子类型理论与应用:引言。 数学。 结构。 计算。 科学。 18 ( 5 ) : 795-796 ( 2008 ) 2006 【j4】 阿德里安娜·B·孔皮诺尼 , Healfdene Goguen公司 :
高阶子类型的反对称性和子类型的相等性。 数学。 结构。 计算。 科学。 16 ( 1 ) : 41-65 ( 2006 ) [第11条] Healfdene Goguen公司 , 康诺·麦克布莱德 , 詹姆斯·麦金纳 :
消除依赖模式匹配。 献给约瑟夫·戈根的散文 2006 : 521-540 2005 [第10条] 格雷戈里·邦德 , 张玉珏 , Healfdene Goguen公司 , 卡里·汉森 , 唐·亨德森 , 杰拉尔德·卡拉姆 , K.哈尔·珀迪 , 托马斯·M·史密斯 , 帕梅拉·扎夫 :
具有基于组件的电信服务开发经验。 芝加哥证券交易所 2005 : 298-305 【c9】 Healfdene Goguen公司 :
证明算法的合理性 贝塔 - 埃塔 -转换。 FoSSaCS公司 2005 : 410-424 【c8】 Healfdene Goguen公司 :
类型理论中eta相等的句法方法。 POPL公司 2005 : 75-84 2004 [j3] 帕梅拉·扎夫 , Healfdene Goguen公司 , 托马斯·M·史密斯 :
组件协调:电信案例研究。 计算。 网络 45 ( 5 ) : 645-664 ( 2004 ) 【c7】 康诺·麦克布莱德 , Healfdene Goguen公司 , 詹姆斯·麦金纳 :
关于构造函数的几个构造。 类型 2004 : 186-200 2003 [注2] 阿德里安娜·B·孔皮诺尼 , Healfdene Goguen公司 :
高阶子类型的类型化操作语义。 Inf.计算。 184 ( 2 ) : 242-297 ( 2003 ) 2000 [j1] Healfdene Goguen公司 , 让·古堡-拉雷克 :
序列组合子:lambda演算的Hilbert系统。 数学。 结构。 计算。 科学。 10 ( 1 ) : 1-79 ( 2000 ) 【c6】 Healfdene Goguen公司 :
结构规则可接受性的克里普克风格模型。 类型 2000 : 112-124
1990 – 1999
1999 【c5】 阿德里安娜·B·孔皮诺尼 , Healfdene Goguen公司 :
高阶子类型的反对称性。 CSL公司 1999 : 420-438 【c4】 Healfdene Goguen公司 :
类型化操作语义逻辑框架的合理性。 薄层色谱分析 1999 : 177-197 【c3】 Healfdene Goguen公司 , 理查德·布鲁克斯比 , 罗德·M·伯斯托尔 :
内存管理:增量跟踪的抽象形式。 类型 1999 : 148-161 1995 [c2] Healfdene Goguen公司 :
键入的操作语义。 薄层色谱分析 1995 : 186-200 1994 【b1】 Healfdene Goguen公司 :
类型理论的类型化操作语义。 英国爱丁堡大学, 1994 【c1】 Healfdene Goguen公司 :
UTT的元理论。 类型 1994 : 60-82
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)