C.巴里·杰伊
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2011 [第18条] C.巴里·杰伊 , 延斯·帕尔斯伯格 :
通过模式匹配键入自我解释。 ICFP公司 2011 : 247-258
2000 – 2009
2009 [公元15年] C.巴里·杰伊 , 迪丽娅·凯斯纳 :
一流的模式。 J.功能。 程序。 19 ( 2 ) : 191-225 ( 2009 ) 2007 [公元14年] 约阿希姆·古德蒙德森 , C.巴里·杰伊 :
前言。 发现的国际期刊。 计算。 科学。 18 ( 2 ) : 195-196 ( 2007 ) [电子2] 约阿希姆·古德蒙德森 , C.巴里·杰伊 :
2007年计算理论。 第十三届计算机会议录:澳大利亚理论研讨会(CATS2007)。 2007年1月30日至2月2日,澳大利亚维多利亚州巴拉拉特,诉讼。 CRPIT公司 65, 澳大利亚计算机学会 2007 ,十亿 1-920-68246-5 [目录] 2006 [第17条] 自由人黄玉飞 , C.巴里·杰伊 , 大卫·斯基利科恩 :
使用异构结构编程:使用bondi操作XML数据。 ACSC公司 2006 : 287-295 [第16条] 克拉拉·默多卡 , C.巴里·杰伊 :
对象的关系描述。 ACSC公司 2006 : 297-302 [第15条] 自由人黄玉飞 , C.巴里·杰伊 , 大卫·B·斯基利科恩 :
良好类型Java字节码验证的适应性。 CASCON公司 2006 : 248-262 [c14] C.巴里·杰伊 , 迪丽娅·凯斯纳 :
纯模式微积分。 员工持股计划 2006 : 100-114 [电子1] 约阿希姆·古德蒙德森 , C.巴里·杰伊 :
计算理论2006,第十二届计算会议论文集:澳大拉西亚理论研讨会(CATS2006)。 2006年1月16日至19日,澳大利亚塔斯马尼亚州霍巴特,会议记录。 CRPIT公司 51, 澳大利亚计算机学会 2006 ,十亿 1-920682-33-3 [目录] 2004 [j13] C.巴里·杰伊 :
模式演算。 ACM事务处理。 程序。 语言系统。 26 ( 6 ) : 911-937 ( 2004 ) [第13条] C.巴里·杰伊 , H.Y.Lu先生 , Q·T·阮 :
多形命令:就地更新的通用方法。 猫 2004 : 195-211 2001 [第12条] C.巴里·杰伊 :
区分数据结构和函数:构造函数微积分和函数类型。 薄层色谱分析 2001 : 217-239 2000 [公元12年] C.巴里·杰伊 :
根据形状计算并行程序的成本。 科学。 计算。 程序。 37 ( 1-3 ) : 207-224 ( 2000 ) [第11条] 布莱恩·莱德尔 , 瓦伦蒂娜·普列卡诺娃 , C.巴里·杰伊 :
教授计算机科学的顶尖学科——多样性工程方法。 ACSC公司 2000 : 136-142
1990 – 1999
1999 [公元11年] C.巴里·杰伊 :
FISh编程。 Int.J.软件。 技术工具。 Transf公司。 2 ( 三 ) : 307-315 ( 1999 ) [第10条] C.巴里·杰伊 :
成形计划的部分评估:FISh的经验。 政治公众人物 1999 : 147-158 【c9】 C.巴里·杰伊 :
形状的指称语义:过去、现在和未来。 MFPS公司 1999 : 320-333 【c8】 尤金尼奥·莫吉 , 吉安娜·贝尔 , C.巴里·杰伊 :
单数、形状函子和遍历。 CTCS公司 1999 : 187-208 [第1页] C.巴里·杰伊 :
塑造分配。 并行函数编程的研究方向 1999 : 219-232 1998 [公元10年] C.巴里·杰伊 , 吉安娜·贝尔 , 尤金尼奥·莫吉 :
函数ML。 J.功能。 程序。 8 ( 6 ) : 573-619 ( 1998 ) 【c7】 延斯·帕尔斯伯格 , C.巴里·杰伊 :
访客模式的本质。 COMPSAC公司 1998 : 9-15 【c6】 C.巴里·杰伊 , 保罗·斯特克勒 :
功能要务:塑造! 员工持股计划 1998 : 139-153 1997 [公元9年] C.巴里·杰伊 :
协变类型。 西奥。 计算。 科学。 185 ( 2 ) : 237-258 ( 1997 ) 【c5】 C.巴里·杰伊 :
从数据中分离形状。 范畴理论与计算机科学 1997 : 47-48 【c4】 C.巴里·杰伊 , 默里·科尔 , M.塞卡尼娜 , 保罗·斯特克勒 :
数组函数语言并行计算的一元微积分。 欧洲-保时捷 1997 : 650-661 1996 [j8] C.巴里·杰伊 :
计算中的形状。 ACM计算。 Surv公司。 28 ( 2 ) : 355-357 ( 1996 ) [j7] C.巴里·杰伊 , 约翰·斯塔普斯 :
前言:澳大利亚和新西兰的理论计算机科学。 西奥。 计算。 科学。 169 ( 1 ) : 1 ( 1996 ) 【c3】 吉安娜·贝尔 , C.巴里·杰伊 , 尤金尼奥·莫吉 :
函数ML。 PLILP公司 1996 : 32-46 1995 [j6] C.巴里·杰伊 , 尼尔·加尼 :
埃塔扩张的优点。 J.功能。 程序。 5 ( 2 ) : 135-154 ( 1995 ) [j5] C.巴里·杰伊 :
形状的语义。 科学。 计算。 程序。 25 ( 2-3 ) : 251-283 ( 1995 ) 1994 【c2】 C.巴里·杰伊 , J.罗宾B.科克特 :
形状类型和形状多态性。 员工持股计划 1994 : 302-316 1993 【j4】 C.巴里·杰伊 :
通过通用不变量的尾部递归。 西奥。 计算。 科学。 115 ( 1 ) : 151-189 ( 1993 ) 1992 [j3] 伯恩哈德·斯特芬 , C.巴里·杰伊 , 迈克尔·门德勒 :
可观察程序属性的组成特征。 RAIRO提奥。 信息学应用。 26 : 403-424 ( 1992 ) [注2] C.巴里·杰伊 :
范畴理论和Church-Rosser属性的一致性。 圣母院J.正式日志。 33 ( 1 ) : 140-143 ( 1992 ) 1991 【c1】 C.巴里·杰伊 :
通用不变量的尾部递归。 范畴理论与计算机科学 1991 : 151-163
1980 – 1989
1989 [j1] C.巴里·杰伊 :
关于自然数对象在单体范畴中的注记。 Stud Logica公司 48 ( 三 ) : 389-393 ( 1989 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)