杰里米·吉本斯:出版物
-
[1] 特纳·伯德·埃拉托斯特尼:永恒的燃烧之线 杰里米·吉本斯 在 函数编程杂志 . 八月, 2024 提交中 细节 关于 特纳·伯德·埃拉托斯特尼:永恒的燃烧之线 | BibTeX公司 的数据 特纳·伯德·埃拉托斯特尼:永恒的燃烧之线 | 下载(pdf) 属于 特纳·伯德·埃拉托斯特尼:永恒的燃烧之线 -
[2] -
[3] Profunctor Optics类别更新 布莱斯·克拉克(Bryce Clarke)、德里克·埃尔金斯(Derek Elkins)、杰里米·吉本斯(Jeremy Gibbons)、福斯科·洛雷吉安(Fosco Loregian)、巴托斯·米列夫斯基(Bartosz Milewski 1号。 2024 细节 关于 Profunctor Optics类别更新 | BibTeX公司 的数据 Profunctor Optics类别更新 | DOI(10.32408/成分-6-1) | 链接 到 Profunctor Optics类别更新 -
[4] 软件体系结构阶段(体系结构明珠) Jeremy Gibbons、Oisin Kidney、Tom Schrijvers和Nicolas Wu 在 功能软件体系结构 . 9月, 2023 细节 关于 软件体系结构阶段(体系结构明珠) | BibTeX公司 的数据 软件体系结构阶段(体系结构明珠) | 下载(pdf) 属于 软件体系结构阶段(体系结构明珠) -
[5] 效果处理程序和通用语言 Jonathan Brachthäuser“Youyou Cong和Jeremy Gibbons 第203号。 9月, 2023 细节 关于 效果处理程序和通用语言 | BibTeX公司 的数据 效果处理程序和通用语言 | 下载(pdf) 属于 效果处理程序和通用语言 -
[6] CancerGrid:基于元数据的临床试验模型驱动工程 杰里米·吉本斯 年月日, 2022 细节 关于 CancerGrid:基于元数据的临床试验模型驱动工程 | BibTeX公司 的数据 CancerGrid:基于元数据的临床试验模型驱动工程 | 下载(pdf) 属于 CancerGrid:基于元数据的临床试验模型驱动工程 -
[7] 宽度——通过分段第一次穿越 Jeremy Gibbons、Oisin Kidney、Tom Schrijvers和Nicolas Wu 第13544卷 LNCS。 第1-33页。 2022 细节 关于 宽度——通过分段第一次穿越 | BibTeX公司 的数据 宽度——通过分段第一次穿越 | 内政部(10.1007/978-3-031-16912-0_1) | 下载(pdf) 属于 宽度——通过分段第一次穿越 -
[8] 延续-传递风格“去功能化”积累和关联性 杰里米·吉本斯 在 编程的艺术科学与工程 . 第6卷。 2号。 第7页。 2022 2022年评审员选择奖获得者 细节 关于 延续-传递风格“去功能化”积累和关联性 | BibTeX公司 的数据 延续-传递风格“去功能化”积累和关联性 | 内政部(10.22152/programming-journal.org/2022/6/7) | 下载(pdf) 属于 延续-传递风格“去功能化”积累和关联性 -
[9] 使用选择单数的算法设计 约翰内斯·哈特曼和杰里米·吉本斯 在Wouter Swierstra和Nicolas Wu的编辑中, 函数式编程趋势 . 第13401卷 LNCS。 第126-143页。 2022 细节 关于 使用选择单数的算法设计 | BibTeX公司 的数据 使用选择单数的算法设计 | 内政部(10.1007/978-3-031-21314-4_7) | 下载(pdf) 属于 使用选择单数的算法设计 -
[10] 函数编程杂志转向开放存取 克里希纳穆西和杰里米·吉本斯 11月, 2021 细节 关于 函数编程杂志转向开放存取 | BibTeX公司 的数据 函数编程杂志转向开放存取 | DOI(10.1017/S0956796821000265) | 链接 到 函数编程杂志转向开放存取 -
[11] 万物流动:打开流的历史(扩展摘要) 阿格洛斯·比布迪斯、杰里米·吉本斯和奥列格·基塞利约夫 2021 细节 关于 万物流动:打开流的历史(扩展摘要) | BibTeX公司 的数据 万物流动:打开流的历史(扩展摘要) | 下载(pdf) 属于 万物流动:打开流的历史(扩展摘要) -
[12] 如何设计合作计划 杰里米·吉本斯 在 函数编程杂志 . 第31卷。 编号e15。 2021 细节 关于 如何设计合作计划 | BibTeX公司 的数据 如何设计合作计划 | 内政部(10.1017/S0956796821000113) | 下载(pdf) 属于 如何设计合作计划 -
[13] 算法 尼古拉斯·吴理查·S·伯德·杰里米·吉本斯·拉尔夫·辛泽·彼得·霍夫纳·约翰·杰林·兰伯特·G·L·T·梅滕斯·伯恩哈德·默勒·卡罗尔·摩根·汤姆·施里杰弗斯·沃特·斯威斯特拉 在Kai Rannenberg Michael Goedicke Erich J.Neuhold编辑, 推进信息和通信技术研究——IFIP前60多年技术委员会和工作组的激动人心的观点 . 第600卷 IFIP在信息和通信技术方面的进步。 第59-98页。 斯普林格。 2021 -
[14] -
[15] 算法 理查德·伯德(Richard Bird)、杰里米·吉本斯(Jeremy Gibbons)、拉尔夫·欣泽(Ralf Hinze)、彼得·霍夫纳(Peter Hoefner)、约翰·杰林(Johan Jeuring)、兰伯特·梅滕斯(Lambert Meertens)、伯恩哈德·穆勒(Bernhard Moeller)、卡罗尔·摩根(Carroll Morgan)、汤姆·施里 第600卷 IFIP在信息和通信技术方面的进步。 7月, 2020 细节 关于 算法 | BibTeX公司 的数据 算法 | 内政部(10.1007/978-3-030-81701-5_3) | 下载(pdf) 属于 算法 -
[16] -
[17] Haskell中Monads的定量信息流 杰里米·吉本斯(Jeremy Gibbons)、安娜贝拉·麦克维尔(Annabelle McIver)、卡罗尔·摩根(Carroll Morgan)和汤姆·施里杰弗斯(Tom Schrijvers) 编辑Gilles Barthe Joost−Pieter Katoen和Alexandra Silva, 概率规划基础 . 剑桥大学出版社。 2020 细节 关于 Haskell中Monads的定量信息流 | BibTeX公司 的数据 Haskell中Monads的定量信息流 | 内政部(10.1017/9781108770750) | 下载(pdf) 属于 Haskell中Monads的定量信息流 -
[18] Squiggol学派:Bird−Meertens形式主义的历史 杰里米·吉本斯 编辑特洛伊·阿斯塔特, 形式方法(形式方法历史研讨会) . 第12233卷 LNCS。 斯普林格。 2020 细节 关于 Squiggol学派:Bird−Meertens形式主义的历史 | BibTeX公司 的数据 Squiggol学派:Bird−Meertens形式主义的历史 | 内政部(10.1007/978-3-030-54997-8_2) | 下载(pdf) 属于 Squiggol学派:Bird−Meertens形式主义的历史 -
[19] 异构并行函数语言的代价语义 蒂姆·扎基安 博士论文, type=DPhil论文。 2020 细节 关于 异构并行函数语言的代价语义 | BibTeX公司 的数据 异构并行函数语言的代价语义 | 链接 到 异构并行函数语言的代价语义 -
[20] S代表震惊:欧洲资助者的开放获取提案 杰里米·吉本斯 7月, 2019 细节 关于 S代表震惊:欧洲资助者的开放获取提案 | BibTeX公司 的数据 S代表震惊:欧洲资助者的开放获取提案 | 链接 到 S代表震惊:欧洲资助者的开放获取提案 -
[21] 非对称数字系统编码 杰里米·吉本斯 在 程序构造数学 . 第11825卷 计算机科学课堂讲稿。 第444-465页。 斯普林格。 10月, 2019 细节 关于 非对称数字系统编码 | BibTeX公司 的数据 非对称数字系统编码 | 内政部(10.1007/978-3-030-33636-3_16) | 下载(pdf) 属于 非对称数字系统编码 -
[22] -
[23] 关联代数 Jeremy Gibbons、Fritz Henglein、Ralf Hinze和Nicolas Wu 在 PACMPL公司 . 第2卷。 编号:ICFP。 9月, 2018 杰出论文奖获得者 细节 关于 关联代数 | BibTeX公司 的数据 关联代数 | 内政部(10.1145/3236781) | 下载(pdf) 属于 关联代数 -
[24] 关于Yoneda你需要知道的:Profunctor光学和Yoneda引理 纪尧姆·博伊索和杰里米·吉本斯 在 PACMPL公司 . 第2卷。 编号:ICFP。 9月, 2018 功能珍珠 细节 关于 关于Yoneda你需要知道的:Profunctor光学和Yoneda引理 | BibTeX公司 的数据 关于Yoneda你需要知道的:Profunctor光学和Yoneda引理 | 内政部(10.1145/3236779) | 下载(pdf) 属于 关于Yoneda你需要知道的:Profunctor光学和Yoneda引理 -
[25] 论“程序设计语言研究中的方法论不规则性” 杰里米·吉本斯 在 IEEE计算机 . 第51卷。 第四。 第4-7页。 年月日, 2018 细节 关于 论“程序设计语言研究中的方法论不规则性” | BibTeX公司 的数据 论“程序设计语言研究中的方法论不规则性” | 内政部(10.1109/MC.2018.2141027) | 下载(pdf) 属于 论“程序设计语言研究中的方法论不规则性” -
[26] 工程敏捷大数据系统 Kevin Feeney、Jim Davies、James Welch、Sebastian Hellmann、Christian Dirschl、Andreas Koller、Pieter Francois和Arkadiusz Marciniak 2018 -
[27] 双向转换 杰里米·吉本斯和佩迪塔·史蒂文斯 第9715卷 LNCS。 斯普林格。 2018 细节 关于 双向转换 | BibTeX公司 的数据 双向转换 | 内政部(10.1007/978-3-319-79108-1) | 链接 到 双向转换 -
[28] 双向转换简介 法里斯·阿布−萨利赫、詹姆斯·切尼、杰里米·吉本斯、詹姆斯·麦金纳和佩迪塔·史蒂文斯 第9715卷 LNCS。 第1-28页。 2018 细节 关于 双向转换简介 | BibTeX公司 的数据 双向转换简介 | 内政部(10.1007/978-3-319-79108-1_1) | 下载(pdf) 属于 双向转换简介 -
[29] -
[30] 使用Naperian Functors的许可编程 杰里米·吉本斯 编辑杨洪硕, 欧洲规划专题讨论会 . 第10201卷 LNCS。 第568-583页。 年月日, 2017. 细节 关于 使用Naperian Functors的许可编程 | BibTeX公司 的数据 使用Naperian Functors的许可编程 | 内政部(10.1007/978-3-662-54434-1_21) | 下载(pdf) 属于 使用Naperian Functors的许可编程 -
[31] 软件与数据工程相结合的软件项目管理 Seyyed M.Shah、James Welch、Jim Davies和Jeremy Gibbons 编辑Zaigham Mahmood, 分布式计算软件项目管理:开发可扩展和可靠工具的生命周期方法 . 第367-385页。 施普林格国际出版公司。 2017. 细节 关于 软件与数据工程相结合的软件项目管理 | BibTeX公司 的数据 软件与数据工程相结合的软件项目管理 | DOI(10.1007/978-3-319-544325-3_15) | 下载(pdf) 属于 软件与数据工程相结合的软件项目管理 -
[32] Profunctor光学:模块化数据存取器 马修·皮克林(Jeremy Gibbons)和尼古拉斯·吴(Nicolas Wu) 在 编程的艺术科学与工程 . 第1卷。 2号。 2017. 编辑选择奖得主 2017 细节 关于 Profunctor光学:模块化数据存取器 | BibTeX公司 的数据 Profunctor光学:模块化数据存取器 | 内政部(10.22152/programming-journal.org/2017/1/7) | 下载(pdf) 属于 Profunctor光学:模块化数据存取器 -
[33] 双向计算的代数方面 Faris Abou−Saleh、James McKinna和Jeremy Gibbons 在 对象技术杂志 . 第16卷。 1号。 第1:1页至第29页。 2017. 细节 关于 双向计算的代数方面 | BibTeX公司 的数据 双向计算的代数方面 | 内政部(10.5381/jot.2017.16.1.a1) | 下载(pdf) 属于 双向计算的代数方面 -
[34] 关于双向变换的最小变化和最小意外原则 詹姆斯·切尼、杰里米·吉本斯、詹姆斯·麦金纳和佩迪塔·史蒂文斯 在 对象技术杂志 . 第16卷。 1号。 第3:1-31页。 2017. 细节 关于 关于双向变换的最小变化和最小意外原则 | BibTeX公司 的数据 关于双向变换的最小变化和最小意外原则 | 内政部(10.5381/jot.2017.16.1.a3) | 下载(pdf) 属于 关于双向变换的最小变化和最小意外原则 -
[35] -
[36] 免费送货(功能珍珠) 杰里米·吉本斯 在 哈斯克尔研讨会 . 第45-50页。 ACM。 9月, 2016 细节 关于 免费送货(功能珍珠) | BibTeX公司 的数据 免费送货(功能珍珠) | 内政部(10.1145/2976002.2976005) | 下载(pdf) 属于 免费送货(功能珍珠) -
[37] 使用Naperian Functors的许可编程(扩展抽象) 杰里米·吉本斯 在 泰德 . 9月, 2016 细节 关于 使用Naperian Functors的许可编程(扩展抽象) | BibTeX公司 的数据 使用Naperian Functors的许可编程(扩展抽象) | 下载(pdf) 属于 使用Naperian Functors的许可编程(扩展抽象) -
[38] 果壳中的果仁 杰里米·吉本斯 在 程序设计中的逻辑和代数方法杂志 . 第85卷。 第5部分第2部分。 第921−930页。 八月, 2016 细节 关于 果壳中的果仁 | BibTeX公司 的数据 果壳中的果仁 | 内政部(10.1016/j.jlamp.2015.10.006) | 链接 到 果壳中的果仁 -
[39] ATI数据密集型研究再现性研讨会 理查德·奥贝恩·露西·C·伯吉斯·大卫·克罗蒂·大卫·德鲁尔·杰里米·吉本斯·卡洛尔·高本·保罗·米歇尔·莫蒂尔·托马斯·尼科尔斯 7月, 2016 细节 关于 ATI数据密集型研究再现性研讨会 | BibTeX公司 的数据 ATI数据密集型研究再现性研讨会 | 下载(pdf) 属于 ATI数据密集型研究再现性研讨会 -
[40] 通过程序转换从Push/Enter到Eval/Apply Maciej Piróg和Jeremy Gibbons 在Olivier Danvy和Ugo de‘Ligoro的编辑中, 延续性研讨会会议记录 . 第212卷 理论计算机科学电子论文集。 第53-62页。 年月日, 2016 细节 关于 通过程序转换从Push/Enter到Eval/Apply | BibTeX公司 的数据 通过程序转换从Push/Enter到Eval/Apply | 内政部(10.4204/EPTCS.212.4) | 下载(pdf) 属于 通过程序转换从Push/Enter到Eval/Apply -
[41] 关于一元镜片的思考 法里斯·阿布−萨利赫、詹姆斯·切尼、杰里米·吉本斯、詹姆斯·麦金纳和佩迪塔·史蒂文斯 在 改变世界的成功列表 . 第9600卷 LNCS。 第1-31页。 斯普林格。 年月日, 2016 细节 关于 关于一元镜片的思考 | BibTeX公司 的数据 关于一元镜片的思考 | 内政部(10.1007/978-3-319-30936-1_1) | 下载(pdf) 属于 关于一元镜片的思考 -
[42] 理解林加德:在菲尔·沃德勒60岁生日之际 杰里米·吉本斯 在 改变世界的成功列表 . 第9600卷 LNCS。 第132-151页。 斯普林格。 年月日, 2016 细节 关于 理解林加德:在菲尔·沃德勒60岁生日之际 | BibTeX公司 的数据 理解林加德:在菲尔·沃德勒60岁生日之际 | 内政部(10.1007/978-3-319-30936-1_7) | 下载(pdf) 属于 理解林加德:在菲尔·沃德勒60岁生日之际 -
[43] 科学依赖于计算机建模——那么当它出错时会发生什么? 杰里米·吉本斯 在 对话 . 三月, 2016 细节 关于 科学依赖于计算机建模——那么当它出错时会发生什么? | BibTeX公司 的数据 科学依赖于计算机建模——那么当它出错时会发生什么? | 链接 到 科学依赖于计算机建模——那么当它出错时会发生什么? -
[44] 用装饰品编程 祥尚高和杰里米·吉本斯 在 函数编程杂志 . 第27卷。 年月日, 2016 细节 关于 用装饰品编程 | BibTeX公司 的数据 用装饰品编程 | 内政部(10.1017/S0956796816000307) | 下载(pdf) 属于 用装饰品编程 -
[45] 概率论与不确定性推理 Faris Abou−SalehKwok−Ho Cheung和Jeremy Gibbons 在 概率编程语义POPL研讨会 . 年月日, 2016 -
[46] 第五届双向转型国际研讨会 Anthony Anjorin和Jeremy Gibbons,编辑 -
[47] 双向变换的最小惊讶原则 詹姆斯·切尼、杰里米·吉本斯、詹姆斯·麦金纳和佩迪塔·史蒂文斯 在Alcino Cunha和Ekkart Kindler中,编辑, 第四届双向转型国际研讨会 . 第66-80页。 CEUR研讨会记录。 7月, 2015 细节 关于 双向变换的最小惊讶原则 | BibTeX公司 的数据 双向变换的最小惊讶原则 | 下载(pdf) 属于 双向变换的最小惊讶原则 -
[48] 双向计算的代数方面 Faris Abou−Saleh、James McKinna和Jeremy Gibbons 在Alcino Cunha和Ekkart Kindler中,编辑, 第四届双向转型国际研讨会 . 第16-30页。 CEUR研讨会记录。 7月, 2015 -
[49] 单数模及其代数 马西耶·皮洛格、尼古拉斯·吴和杰里米·吉本斯 在Larry Moss和PawełSobocien ski的编辑中, 第六届计算机科学代数和余代数国际会议(CALCO’15) . 第287-300页。 年月日, 2015 细节 关于 单数模及其代数 | BibTeX公司 的数据 单数模及其代数 | 内政部(10.4230/LIPIcs.CALCO.2015.290) | 下载(pdf) 属于 单数模及其代数 -
[50] 双向计算和纠缠态单子的概念 法里斯·阿布−萨利赫、詹姆斯·切尼、杰里米·吉本斯、詹姆斯·麦金纳和佩迪塔·史蒂文斯 在 程序构造数学 . 年月日, 2015 细节 关于 双向计算和纠缠态单子的概念 | BibTeX公司 的数据 双向计算和纠缠态单子的概念 | 下载(pdf) 属于 双向计算和纠缠态单子的概念 -
[51] 双向转换有效 法里斯·阿布−萨利赫、詹姆斯·切尼、杰里米·吉本斯、詹姆斯·麦金纳和佩迪塔·史蒂文斯 五月, 2015 这是2015年MPC上发表的论文“双向计算和纠缠态单子的概念”的摘要 -
[52] 临床研究领域特定建模 吉姆·戴维斯、杰里米·吉本斯、亚当·米尔沃德、大卫·米尔瓦德、赛义德·沙阿、莫妮卡·索兰基和詹姆斯·韦尔奇 在 SPLASH领域特定建模研讨会 . 10月, 2015 细节 关于 临床研究领域特定建模 | BibTeX公司 的数据 临床研究领域特定建模 | 内政部(10.1145/2846696.2846701) | 下载(pdf) 属于 临床研究领域特定建模 -
[53] 关联代数 Jeremy Gibbons、Fritz Henglein、Ralf Hinze和Nicolas Wu 在 数据库编程语言 . 10月, 2015 仅通话 -
[54] 共轭同态:所有结构化递归格式之母 Ralf Hinze、Nicolas Wu和Jeremy Gibbons 在 2015年POPL . 第527-538页。 年月日, 2015 细节 关于 共轭同态:所有结构化递归格式之母 | BibTeX公司 的数据 共轭同态:所有结构化递归格式之母 | 内政部(10.1145/2676726.2676989) | 下载(pdf) 属于 共轭同态:所有结构化递归格式之母 -
[55] 模型驱动的信息系统工程:10年和1000个版本 吉姆·戴维斯、杰里米·吉本斯、詹姆斯·韦尔奇和爱德华·克莱顿 在 计算机程序设计科学 . 第89B卷。 第88至104页。 9月, 2014 细节 关于 模型驱动的信息系统工程:10年和1000个版本 | BibTeX公司 的数据 模型驱动的信息系统工程:10年和1000个版本 | 内政部(10.1016/j.scico.2013.02.002) -
[56] CancerGrid体验:基于元数据的临床试验模型驱动工程 吉姆·戴维斯、杰里米·吉本斯、史蒂夫·哈里斯和查尔斯·克莱顿 在 计算机程序设计科学 . 第89B卷。 第126-143页。 9月, 2014 细节 关于 CancerGrid体验:基于元数据的临床试验模型驱动工程 | BibTeX公司 的数据 CancerGrid体验:基于元数据的临床试验模型驱动工程 | 内政部(10.1016/j.scico.2013.02.010) | 下载(pdf) 属于 CancerGrid体验:基于元数据的临床试验模型驱动工程 -
[57] 折叠领域特定语言:深层和浅层嵌入 杰里米·吉本斯和尼古拉斯·吴 在 函数式程序设计国际会议 . 第339-347页。 9月, 2014 细节 关于 折叠领域特定语言:深层和浅层嵌入 | BibTeX公司 的数据 折叠领域特定语言:深层和浅层嵌入 | 内政部(10.1145/2628136.2628138) | 下载(pdf) 属于 折叠领域特定语言:深层和浅层嵌入 -
[58] 工作Haskeller的类别 杰里米·吉本斯 9月, 2014 细节 关于 工作Haskeller的类别 | BibTeX公司 的数据 工作Haskeller的类别 | 下载(pdf) 属于 工作Haskeller的类别 -
[59] 纠缠态单子 詹姆斯·切尼、詹姆斯·麦金纳、佩蒂塔·史蒂文斯、杰里米·吉本斯和法里斯·阿布·萨利赫 在 BX研讨会 . 三月, 2014 -
[60] 走向BX示例库 詹姆斯·切尼、詹姆斯·麦金纳、佩迪塔·史蒂文斯和杰里米·吉本斯 在 BX研讨会 . 三月, 2014 -
[61] 嵌入式领域特定语言的组成 杰里米·吉本斯 在 特定领域语言的设计与实现 . 2014 细节 关于 嵌入式领域特定语言的组成 | BibTeX公司 的数据 嵌入式领域特定语言的组成 | 下载(pdf) 属于 嵌入式领域特定语言的组成 -
[62] 共生复收单子 Maciej Piróg和Jeremy Gibbons 第308卷。 第273-288页。 2014 第三十届编程语义数学基础会议论文集——MFPS XXX 细节 关于 共生复收单子 | BibTeX公司 的数据 共生复收单子 | 下载 (pdf格式) 属于 共生复收单子 | 内政部(10.1016/j.entcs.2014.10.15) -
[63] 共创程序语义中的完全迭代单子 马西耶·亚当·皮罗格 博士论文, type=DPhil论文。 2014 细节 关于 共创程序语义中的完全迭代单子 | BibTeX公司 的数据 共创程序语义中的完全迭代单子 | 链接 到 共创程序语义中的完全迭代单子 -
[64] -
[65] 前后理解习语 理查德·伯德(Richard Bird)、杰里米·吉本斯(Jeremy Gibbons)、斯特凡·梅纳(Stefan Mehner)、贾尼斯·沃格特拉恩德(Janis Voigtlaender)和汤姆·施里杰弗斯(Tom Schrijvers) 在 哈斯克尔研讨会 . 9月, 2013 细节 关于 前后理解习语 | BibTeX公司 的数据 前后理解习语 | 内政部(10.1145/2503778.2503781) | 下载(pdf) 属于 前后理解习语 -
[66] 领域特定语言的函数式编程 杰里米·吉本斯 在维科托里亚·佐尔坦·霍尔瓦思和莱赫尔·萨托的编辑中, 中欧函数式编程领域特定语言暑期学校 . 第8606卷 LNCS。 第1-28页。 斯普林格。 7月, 2013 细节 关于 领域特定语言的函数式编程 | BibTeX公司 的数据 领域特定语言的函数式编程 | 内政部(10.1007/978-3-319-15940-9_1) | 链接 到 领域特定语言的函数式编程 -
[67] 装饰物的分类组织——精致框架 祥尚高和杰里米·吉本斯 提交给POPL'14。 7月, 2013 细节 关于 装饰物的分类组织——精致框架 | BibTeX公司 的数据 装饰物的分类组织——精致框架 | 下载(pdf) 属于 装饰物的分类组织——精致框架 -
[68] 累积属性(Doaites Swierstra退休时) 杰里米·吉本斯 在Jurrian Hage和Atze Dijkstra的编辑中, 伊恩·劳温·范·昂特沃特尔德(Een Lawine van Ontwortelde Bomen:Liber Amicorum voor Doaitse Swierstra) . 第87-102页。 五月, 2013 细节 关于 累积属性(Doaites Swierstra退休时) | BibTeX公司 的数据 累积属性(Doaites Swierstra退休时) | 下载(pdf) 属于 累积属性(Doaites Swierstra退休时) -
[69] 模块化感应系列 祥尚高和杰里米·吉本斯 在 信息学进展 . 10号。 第65-88页。 2013 细节 关于 模块化感应系列 | BibTeX公司 的数据 模块化感应系列 | 内政部(10.2201/NiiPi.2013.10.5) | 下载(pdf) 属于 模块化感应系列 -
[70] 统一的结构化递归格式 Ralf Hinze、Nicolas Wu和Jeremy Gibbons 编辑Tarmo Uustalu, 第18届ACM SIGPLAN函数编程国际会议记录 . 第209–220页。 美国纽约州纽约市。 2013 ACM。 细节 关于 统一的结构化递归格式 | BibTeX公司 的数据 统一的结构化递归格式 | 内政部(10.1145/2500365.2500578) | 下载(pdf) 属于 统一的结构化递归格式 -
[71] 行为单数 Maciej Piróg和Jeremy Gibbons 第298卷。 第309-324页。 2013 第二十九届程序设计语义数学基础会议记录——MFPS XXIX 细节 关于 行为单数 | BibTeX公司 的数据 行为单数 | 下载 (pdf格式) 属于 行为单数 | 内政部(10.1016/j.entcs.2013.09.019) | 链接 到 行为单数 -
[72] 关系代数装饰品 祥尚高和杰里米·吉本斯 在 依赖类型编程 . ACM。 2013 细节 关于 关系代数装饰品 | BibTeX公司 的数据 关系代数装饰品 | 内政部(10.1145/2502409.2502413) | 下载(pdf) 属于 关系代数装饰品 -
[73] 健康信息工程与系统基础 Jeremy Gibbons和Wendy MacCaul,编辑 细节 关于 健康信息工程与系统基础 | BibTeX公司 的数据 健康信息工程与系统基础 | 内政部(10.1007/978-3-642-53956-5) | 下载(pdf) 属于 健康信息工程与系统基础 -
[74] 用单数统一编程理论 杰里米·吉本斯 在 UTP研讨会 . 八月, 2012 细节 关于 用单数统一编程理论 | BibTeX公司 的数据 用单数统一编程理论 | 内政部(10.1007/978-3-642-35705-3_2) | 下载(pdf) 属于 用单数统一编程理论 -
[75] -
[76] 健康信息学中的机器学习与软件工程 David A.Clifton、Jeremy Gibbons、Jim Davies和Lionel Tarassenko 五月, 2012 细节 关于 健康信息学中的机器学习与软件工程 | BibTeX公司 的数据 健康信息学中的机器学习与软件工程 | 内政部(10.1109/RAISE.2012.6227968) | 下载(pdf) 属于 健康信息学中的机器学习与软件工程 -
[77] 和蔼地倒带:关于穿越的一个谦逊建议 杰里米·吉本斯和理查德·伯德 五月, 2012 已提交发布(但被拒绝) 细节 关于 和蔼地倒带:关于穿越的一个谦逊建议 | BibTeX公司 的数据 和蔼地倒带:关于穿越的一个谦逊建议 | 下载(pdf) 属于 和蔼地倒带:关于穿越的一个谦逊建议 -
[78] 重构模式匹配 孟旺、杰里米·吉本斯、松田和镇江胡 在 计算机程序设计科学 . 第78卷。 11号。 第2216-2242页。 年月日, 2012 MPC2010论文“逐步完善”的修订版 细节 关于 重构模式匹配 | BibTeX公司 的数据 重构模式匹配 | 内政部(10.1016/j.scico.2012.07.014) | 下载(pdf) 属于 重构模式匹配 -
[79] 泛型和索引编程 杰里米·吉本斯 第7470卷 计算机科学课堂讲稿。 斯普林格。 2012 细节 关于 泛型和索引编程 | BibTeX公司 的数据 泛型和索引编程 | 内政部(10.1007/978-3642-32202-0) | 链接 到 泛型和索引编程 -
[80] 简约之美 杰里米·吉本斯 在 ACM通信 . 第55卷。 第四。 第6页。 2012 给编辑的信 细节 关于 简约之美 | BibTeX公司 的数据 简约之美 | 内政部(10.1145/2133806.2133808) | 下载(pdf) 属于 简约之美 -
[81] 模型驱动工程中的组成和细化 吉姆·戴维斯、杰里米·吉本斯、大卫·米尔沃德和詹姆斯·韦尔奇 在Rohit Gheyi和David A.Naumann的编辑中, 正式方法:基础与应用——2012年第15届巴西研讨会SBMF。 诉讼 . 第7498卷 计算机科学课堂讲稿。 第99至114页。 斯普林格。 2012 细节 关于 模型驱动工程中的组成和细化 | BibTeX公司 的数据 模型驱动工程中的组成和细化 | 下载 (pdf格式) 属于 模型驱动工程中的组成和细化 | 内政部(10.1007/978-3-642-33296-8_9) -
[82] 跟踪一元计算并表示效果 马西耶·皮罗格和杰里米·吉本斯 编辑詹姆斯·查普曼(James Chapman)和保罗·布莱恩·利维(Paul Blain Levy), 2012年3月25日,爱沙尼亚塔林,第四期数学结构函数编程研讨会论文集 . 第76卷 理论计算机科学电子论文集。 第90-111页。 打开发布关联。 2012 细节 关于 跟踪一元计算并表示效果 | BibTeX公司 的数据 跟踪一元计算并表示效果 | 内政部(10.4204/EPTCS.76.8) | 下载(pdf) 属于 跟踪一元计算并表示效果 -
[83] 透镜的相关代数和余代数描述 杰里米·吉本斯和迈克·约翰逊 第49卷(双向转换2012)。 2012 细节 关于 透镜的相关代数和余代数描述 | BibTeX公司 的数据 透镜的相关代数和余代数描述 | 链接 到 透镜的相关代数和余代数描述 -
[84] 最大分段总和“单数”(蒸馏教程) 杰里米·吉本斯 在Olivier Danvy和Chung−chieh Shan的编辑中, IFIP TC2领域特定语言工作会议 . 波尔多。 9月, 2011 细节 关于 最大分段总和“单数”(蒸馏教程) | BibTeX公司 的数据 最大分段总和“单数”(蒸馏教程) | 内政部(10.4204/EPTCS.66.9) | 链接 到 最大分段总和“单数”(蒸馏教程) -
[85] 高效双向转换的增量更新 孟旺、杰里米·吉本斯和尼古拉斯·吴 在 ICFP公司 . 9月, 2011 细节 关于 高效双向转换的增量更新 | BibTeX公司 的数据 高效双向转换的增量更新 | DOI(10.1145/20374773.2034825) | 下载(pdf) 属于 高效双向转换的增量更新 -
[86] 就这么做:简单的一元方程式推理 杰里米·吉本斯和拉尔夫·欣泽 在 ICFP公司 . 9月, 2011 细节 关于 就这么做:简单的一元方程式推理 | BibTeX公司 的数据 就这么做:简单的一元方程式推理 | 内政部(10.1145/2034773.2034777) | 下载(pdf) 属于 就这么做:简单的一元方程式推理 -
[87] 形式跟随功能:临床试验的模型驱动工程 Jim Davies、Jeremy Gibbons、Radu Calinescu、Charles Crichton、Steve Harris和Andrew Tsui 在 健康信息工程和系统基础国际研讨会 . 第7151卷 LNCS。 第21-38页。 斯普林格。 八月, 2011 细节 关于 形式跟随功能:临床试验的模型驱动工程 | BibTeX公司 的数据 形式跟随功能:临床试验的模型驱动工程 | 内政部(10.1007/978-3-642-32355-3_2) | 下载(pdf) 属于 形式跟随功能:临床试验的模型驱动工程 -
[88] Warren抽象机的泛函推导 马西耶·皮罗格和杰里米·吉本斯 2011 提交出版 细节 关于 Warren抽象机的泛函推导 | BibTeX公司 的数据 Warren抽象机的泛函推导 | 下载(pdf) 属于 Warren抽象机的泛函推导 -
[89] BPMN的形式化和应用 Peter Y.H.Wong和Jeremy Gibbons 在 计算机程序设计科学 . 第76卷。 第633-650页。 2011 FOCLASA 2008特刊 细节 关于 BPMN的形式化和应用 | BibTeX公司 的数据 BPMN的形式化和应用 | 内政部(10.1016/j.scico.2009.09.010) | 下载(pdf) 属于 BPMN的形式化和应用 -
[90] 模块化感应系列 祥尚高和杰里米·吉本斯 在 通用编程讲习班 . 第13-24页。 ACM。 2011 细节 关于 模块化感应系列 | BibTeX公司 的数据 模块化感应系列 | DOI(10.1145/20369818.2036921) | 下载(pdf) 属于 模块化感应系列 -
[91] 作为高阶数据类型通用程序的设计模式 杰里米·吉本斯 第36页。 2010. 已提交发布,但被拒绝; WGP2006文件的修订版 细节 关于 作为高阶数据类型通用程序的设计模式 | BibTeX公司 的数据 作为高阶数据类型通用程序的设计模式 | 下载(pdf) 属于 作为高阶数据类型通用程序的设计模式 -
[92] 工作流建模的属性规范 Peter Y.H.Wong和Jeremy Gibbons 在 计算机程序设计科学 . 2010. 扩展版本。 出现。 细节 关于 工作流建模的属性规范 | BibTeX公司 的数据 工作流建模的属性规范 | 内政部(10.1016/j.scico.2010.09.007) -
[93] 面向通用程序员的Scala 布鲁诺·C·d·S·奥利维拉和杰里米·吉本斯 在 函数编程杂志 . 第20卷。 第3条第4款。 第303-352页。 2010. WGP2008文件的修订版 细节 关于 面向通用程序员的Scala | BibTeX公司 的数据 面向通用程序员的Scala | 内政部(10.1017/S095679681000171) | 下载(pdf) 属于 面向通用程序员的Scala -
[94] 语义框架:建筑中的意义 吉姆·戴维斯和杰里米·吉本斯 在 分布式计算与互联网技术 . 第5966卷 LNCS。 第40-54页。 2010. 细节 关于 语义框架:建筑中的意义 | BibTeX公司 的数据 语义框架:建筑中的意义 | 内政部(10.1007/978-3-642-11659-9_4) -
[95] 逐步细化:混合模式匹配与数据抽象 孟旺、杰里米·吉本斯、松田和镇江胡 朱尔斯·德沙奈斯(Jules Desharnais),编辑, 程序构造数学 . 第6120卷 LNCS。 2010. 参见修订的期刊版本“重构模式匹配” 细节 关于 逐步细化:混合模式匹配与数据抽象 | BibTeX公司 的数据 逐步细化:混合模式匹配与数据抽象 | 下载 (pdf格式) 属于 逐步细化:混合模式匹配与数据抽象 | DOI(10.1007/978-3-642-13321-3_22) | 下载(pdf) 属于 逐步细化:混合模式匹配与数据抽象 -
[96] -
[97] 用于组织微阵列图像评分的深度缩放和触摸屏 Charles Crichton、Jim Davies、Jeremy Gibbons、Andrew Tsui、James Brenton、Carlos Caldas和Lorna Morris 微软外部研究研讨会海报。 2010. -
[98] 参数数据类型−通用性 杰里米·吉本斯和罗斯·帕特森 在 通用编程讲习班 . 爱丁堡。 八月, 2009. 细节 关于 参数数据类型−通用性 | BibTeX公司 的数据 参数数据类型−通用性 | 内政部(10.1145/1596614.1596626) | 下载(pdf) 属于 参数数据类型−通用性 -
[99] 未来互操作性的形式化方法 吉姆·戴维斯和杰里米·吉本斯 在 ACM Inroads公司 . 第41卷。 2号。 第60-64页。 年月日, 2009. 修订版“电子政府正式方法”(FMET?2008) 细节 关于 未来互操作性的形式化方法 | BibTeX公司 的数据 未来互操作性的形式化方法 | 内政部(10.1145/1595453.1595463) | 下载(pdf) 属于 未来互操作性的形式化方法 -
[100] 元数据驱动的临床试验软件 Charles Crichton、Jim Davies、Jeremy Gibbons、Steve Harris、Andrew Tsui和James Brenton 五月, 2009. 细节 关于 元数据驱动的临床试验软件 | BibTeX公司 的数据 元数据驱动的临床试验软件 | 内政部(10.1109/SEHC.2009.5069600) | 下载(pdf) 属于 元数据驱动的临床试验软件 -
[101] 工作流建模的属性规范 Peter Y.H.Wong和Jeremy Gibbons 在 第七届综合形式方法国际会议论文集 . 第5423卷 LNCS。 2月, 2009. 受邀参加《计算机程序设计科学》专刊。 技术报告版本位于 http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf 细节 关于 工作流建模的属性规范 | BibTeX公司 的数据 工作流建模的属性规范 | 内政部(10.1007/978-3-642-00255-7_5) -
[102] 加德满都疫苗研究的模型驱动支持 Jim Davies、Jeremy Gibbons、Steve Harris、Jane Metz、Andrew J.Pollard和Matthew Snape 在 微软电子科学研讨会 . 10月, 2009. 细节 关于 加德满都疫苗研究的模型驱动支持 | BibTeX公司 的数据 加德满都疫苗研究的模型驱动支持 | 下载(pdf) 属于 加德满都疫苗研究的模型驱动支持 -
[103] 语义驱动的电子政务应用开发 Charles Crichton、Jim Davies、Jeremy Gibbons、Steve Harris、Aadya Shukla和Andrew Tsui 在 HICSS(电子政府轨道) . 夏威夷。 年月日, 2009. 细节 关于 语义驱动的电子政务应用开发 | BibTeX公司 的数据 语义驱动的电子政务应用开发 | 内政部(10.1109/HICSS.2009.384) | 下载(pdf) 属于 语义驱动的电子政务应用开发 -
[104] Functional Pearls(编辑) 杰里米·吉本斯 在 函数编程杂志 . 2009. 细节 关于 Functional Pearls(编辑) | BibTeX公司 的数据 Functional Pearls(编辑) | 内政部(10.1017/S09567968099990256) | 下载(pdf) 属于 Functional Pearls(编辑) -
[105] 迭代器模式的本质 杰里米·吉本斯和布鲁诺·塞萨尔·多斯·桑托斯·奥利维拉 在 函数编程杂志 . 第19卷。 3号和4号。 第377-402页。 2009. Gibbons&Oliveira 2006修订版:精华 细节 关于 迭代器模式的本质 | BibTeX公司 的数据 迭代器模式的本质 | 内政部(10.1017/S0956796809007291) | 下载(pdf) 属于 迭代器模式的本质 -
[106] 半透明抽象:通过可逆编程实现安全视图(扩展版) 孟旺、杰里米·吉本斯和松田和本 2009. 细节 关于 半透明抽象:通过可逆编程实现安全视图(扩展版) | BibTeX公司 的数据 半透明抽象:通过可逆编程实现安全视图(扩展版) | 下载 (pdf格式) 属于 半透明抽象:通过可逆编程实现安全视图(扩展版) -
[107] -
[108] BPMN的流程语义 Peter Wong和Jeremy Gibbons 在 形式工程方法国际会议 . 北九州?日本。 9月, 2008 -
[109] 面向通用程序员的Scala 布鲁诺·奥利维拉和杰里米·吉本斯 在编辑Ralf Hinze中, 通用编程讲习班 . 不列颠哥伦比亚省维多利亚。 9月, 2008 细节 关于 面向通用程序员的Scala | BibTeX公司 的数据 面向通用程序员的Scala | 内政部(10.1145/1411318.1411323) | 下载(pdf) 属于 面向通用程序员的Scala -
[110] 统一位置理论 迈克尔·安东尼·史密斯和杰里米·吉本斯 编辑Andrew Butterfield, 统一编程理论 . 都柏林。 9月, 2008 细节 关于 统一位置理论 | BibTeX公司 的数据 统一位置理论 | DOI(10.1007/978-3-642-14521-6_10) | 下载(pdf) 属于 统一位置理论 -
[111] 验证业务流程兼容性 Peter Y.H.Wong和Jeremy Gibbons 在 第八届国际质量软件会议记录。 . 第126-131页。 IEEE计算机学会。 八月, 2008 2007年6月,在第三届协调并发分布式和移动系统的方法和工具国际研讨会和第二届面向服务计算的欧洲青年研究人员研讨会上提交了初步版本 细节 关于 验证业务流程兼容性 | BibTeX公司 的数据 验证业务流程兼容性 | 内政部(10.1109/QSIC.2008.6) | 下载(pdf) 属于 验证业务流程兼容性 -
[112] 关于长期实证研究的具体化和可视化 Peter Y.H.Wong和Jeremy Gibbons 在 第一届模型转换国际会议论文集(模型转换的理论与实践) . 第5063卷 LNCS。 7月, 2008 扩展版本位于 http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/tersext.pdf . 细节 关于 关于长期实证研究的具体化和可视化 | BibTeX公司 的数据 关于长期实证研究的具体化和可视化 | 内政部(10.1007/978-3-540-69927-9_6) | 下载(pdf) 属于 关于长期实证研究的具体化和可视化 -
[113] BPMN的相对时间语义 Peter Y.H.Wong和Jeremy Gibbons 在 第七届协调语言和软件架构基础国际研讨会论文集。 . 第229卷 ENTCS的。 7月, 2008 受邀参加《计算机程序设计科学》专刊。 2008年6月,在英国伦敦举行的第三届面向服务计算欧洲青年研究人员研讨会上,展示了本文的简短版本。 扩展版本位于 http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf . 细节 关于 BPMN的相对时间语义 | BibTeX公司 的数据 BPMN的相对时间语义 | 内政部(10.1016/j.entcs.2009.06.029) | 下载(pdf) 属于 BPMN的相对时间语义 -
[114] 展开抽象数据类型 杰里米·吉本斯 在 程序构造数学 . 7月, 2008 细节 关于 展开抽象数据类型 | BibTeX公司 的数据 展开抽象数据类型 | 内政部(10.1007/978-3-540-70594-9_8) | 下载(pdf) 属于 展开抽象数据类型 -
[115] 电子政务中的语义技术 Steve Harris、Jeremy Gibbons、Jim Davies、Andrew Tsui和Charles Crichton 托马斯·贾诺夫斯基和特蕾莎·帕尔多,编辑, ICEGOV 2008 . 第45-51页。 开罗。 年月日, 2008 ACM出版社。 细节 关于 电子政务中的语义技术 | BibTeX公司 的数据 电子政务中的语义技术 | 内政部(10.1145/1509096.1509108) | 下载(pdf) 属于 电子政务中的语义技术 -
[116] 电子政务中语义互操作的元数据标准 Jim Davies、Steve Harris、Charles Crichton、Aadya Shukla和Jeremy Gibbons 在 电子治理理论与实践国际会议 . 开罗。 年月日, 2008 获得最佳论文奖 细节 关于 电子政务中语义互操作的元数据标准 | BibTeX公司 的数据 电子政务中语义互操作的元数据标准 | 下载(pdf) 属于 电子政务中语义互操作的元数据标准 -
[117] 使用语义驱动技术加速癌症研究 詹姆斯·布伦顿、吉姆·戴维斯、杰里米·吉本斯和史蒂夫·哈里斯 在 微软电子科学研讨会 . 印第安纳波利斯。 年月日, 2008 细节 关于 使用语义驱动技术加速癌症研究 | BibTeX公司 的数据 使用语义驱动技术加速癌症研究 | 下载(pdf) 属于 使用语义驱动技术加速癌症研究 -
[118] BPMN的流程语义 Peter Y.H.Wong和Jeremy Gibbons 在 第十届正式工程方法国际会议论文集。 . 第5256卷 LNCS。 10月, 2008 扩展版本位于 http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf . 细节 关于 BPMN的流程语义 | BibTeX公司 的数据 BPMN的流程语义 | DOI(10.1007/978-3-540-88194-0_22) -
[119] 电子政务的形式化方法 吉姆·戴维斯和杰里米·吉本斯 在 ICFEM正式方法教育和培训研讨会 . 北九州?日本。 10月, 2008 -
[120] 电子治理的互操作性框架 Alejandra Cechich、Lorenzo Madrid、Jeremy Gibbons和Jay Kesan 在 第二届电子治理理论与实践国际会议论文集 . 第490–491页。 开罗?埃及。 2008 ACM。 -
[121] 不断发展的健康信息学:语义框架和元数据驱动的体系结构 Jim Davies、Jeremy Gibbons、Steve Harris和Denise Warzel 在 微软电子科学研讨会 . 印第安纳波利斯。 2008 细节 关于 不断发展的健康信息学:语义框架和元数据驱动的体系结构 | BibTeX公司 的数据 不断发展的健康信息学:语义框架和元数据驱动的体系结构 | 下载(pdf) 属于 不断发展的健康信息学:语义框架和元数据驱动的体系结构 -
[122] 基于元模型的协同癌症研究WSRF兼容SOA的生成 Tianyi Zang、Radu Calinescu、Steve Harris、Andrew Tsui、Charles Crichton、Marta Kwiatkowska、Jeremy Gibbons、Jim Davies和Carlos Caldas 在 IEEE电子科学会议 . 2008 细节 关于 基于元模型的协同癌症研究WSRF兼容SOA的生成 | BibTeX公司 的数据 基于元模型的协同癌症研究WSRF兼容SOA的生成 | 内政部(10.1109/eScience.2008.129) -
[123] 基于WSRF的癌症协作研究临床试验信息建模 田一藏、拉杜·卡利内斯库、史蒂夫·哈里斯、安德鲁·崔、玛塔·奎亚特斯卡、杰里米·吉本斯、吉姆·戴维斯、彼得·麦克勒姆和卡洛斯·卡尔达斯 在 第八届IEEE集群计算国际研讨会(CCGrid) . 2008 细节 关于 基于WSRF的癌症协作研究临床试验信息建模 | BibTeX公司 的数据 基于WSRF的癌症协作研究临床试验信息建模 | 内政部(10.1109/CCGRID.2008.57) | 下载(pdf) 属于 基于WSRF的癌症协作研究临床试验信息建模 -
[124] 验证业务流程兼容性 Peter Wong和Jeremy Gibbons 在 第八届国际质量软件大会(QSIC) . 2008 本文的早期版本在2007年6月于英国莱斯特举行的第二届面向服务计算欧洲青年研究人员研讨会和2007年6月份于塞浦路斯帕福斯举行的第三届协调并发分布式和移动系统的方法和工具国际研讨会上发布 -
[125] 关于长期实证研究的具体化和可视化 Peter Y.H.Wong和Jeremy Gibbons 在 国际模型转换会议 . 2008 细节 关于 关于长期实证研究的具体化和可视化 | BibTeX公司 的数据 关于长期实证研究的具体化和可视化 | 下载(pdf) 属于 关于长期实证研究的具体化和可视化 -
[126] 访客模式作为可重复使用的“通用”类型安全组件 布鲁诺·C·d·S·奥利维拉·蒙·王和杰里米·吉本斯 在 面向对象编程:系统语言应用程序(OOPSLA) . 2008 细节 关于 访客模式作为可重复使用的“通用”类型安全组件 | BibTeX公司 的数据 访客模式作为可重复使用的“通用”类型安全组件 | 内政部(10.1145/1449764.1449799) | 下载(pdf) 属于 访客模式作为可重复使用的“通用”类型安全组件 -
[127] 癌症研究的模型驱动架构 Radu Calinescu、Steve Harris、Jeremy Gibbons、Jim Davies、Igor Toujilov和Sylvia Nagl 在 软件工程与形式化方法 . 第59-68页。 9月, 2007 细节 关于 癌症研究的模型驱动架构 | BibTeX公司 的数据 癌症研究的模型驱动架构 | 内政部(10.1109/SEFM.2007.26) | 下载(pdf) 属于 癌症研究的模型驱动架构 -
[128] 工作流规范和精化的过程代数方法 Peter Y.H.Wong和Jeremy Gibbons 在 第六届软件组合国际研讨会论文集 . 第4829卷 LNCS。 三月, 2007 细节 关于 工作流规范和精化的过程代数方法 | BibTeX公司 的数据 工作流规范和精化的过程代数方法 | 内政部(10.1007/978-3-540-77351-1_5) | 下载(pdf) 属于 工作流规范和精化的过程代数方法 -
[129] 电子政务的语义框架 Charles Crichton、Jim Davies、Jeremy Gibbons、Steve Harris和Aadya Shukla Theresa Pardo和Tomasz Janowski,编辑, 2007年第一届电子治理理论与实践国际会议 . 第30-39页。 ACM。 年月日, 2007 细节 关于 电子政务的语义框架 | BibTeX公司 的数据 电子政务的语义框架 | DOI(10.1145/13280571328066) | 下载(pdf) 属于 电子政务的语义框架 -
[130] 功能编程商业用户第四次研讨会报告 杰里米·吉本斯 年月日, 2007 细节 关于 功能编程商业用户第四次研讨会报告 | BibTeX公司 的数据 功能编程商业用户第四次研讨会报告 | 下载(pdf) 属于 功能编程商业用户第四次研讨会报告 -
[131] 癌症临床试验交叉试验查询系统 Radu Calinescu、Steve Harris、Jeremy Gibbons和Jim Davies 编辑Tarek Sobh, 计算机和信息科学与工程的创新与先进技术 . 第385-390页。 斯普林格。 2007 细节 关于 癌症临床试验交叉试验查询系统 | BibTeX公司 的数据 癌症临床试验交叉试验查询系统 | 内政部(10.1007/978-1-4020-6268-1_69) | 下载(pdf) 属于 癌症临床试验交叉试验查询系统 -
[132] 变形:流表示变换器 杰里米·吉本斯 在 计算机程序设计科学 . 第65卷。 2号。 第108至139页。 2007 细节 关于 变形:流表示变换器 | BibTeX公司 的数据 变形:流表示变换器 | 内政部(10.1016/j.scico.2006.01.006) | 下载(pdf) 属于 变形:流表示变换器 -
[133] 工作流规范和精化的过程代数方法 Peter Y.H.Wong和Jeremy Gibbons 在 软件组成 . 2007 细节 关于 工作流规范和精化的过程代数方法 | BibTeX公司 的数据 工作流规范和精化的过程代数方法 | 下载(pdf) 属于 工作流规范和精化的过程代数方法 -
[134] 泛型和索引编程 杰里米·吉本斯、王蒙和布鲁诺·塞萨尔·多斯桑托斯·奥利维拉 编辑马可·莫拉赞, 函数式编程趋势 . 2007 -
[135] 数据类型−通用编程 杰里米·吉本斯 Roland Backhouse编辑Jeremy Gibbons Ralf Hinze和Johan Jeuring, 数据类型春季学校——通用编程 . 第4719卷 计算机科学课堂讲稿。 Springer−Verlag。 2007 -
[136] 统一对象理论 迈克尔·安东尼·史密斯和杰里米·吉本斯 编辑吉姆·戴维斯和杰里米·吉本斯, 集成形式化方法 . 第4591卷 计算机科学课堂讲稿。 第599-618页。 Springer−Verlag。 2007 -
[137] 数据类型春季学校——通用编程 罗兰·巴克豪斯(Roland Backhouse)、杰里米·吉本斯(Jeremy Gibbons)、拉尔夫·欣泽(Ralf Hinze)和约翰·杰瑞(Johan Jeuring),编辑 细节 关于 数据类型春季学校——通用编程 | BibTeX公司 的数据 数据类型春季学校——通用编程 | 下载(pdf) 属于 数据类型春季学校——通用编程 -
[138] -
[139] 作为高阶数据类型通用程序的设计模式 杰里米·吉本斯 在编辑Ralf Hinze中, 通用编程讲习班 . 9月, 2006 细节 关于 作为高阶数据类型通用程序的设计模式 | BibTeX公司 的数据 作为高阶数据类型通用程序的设计模式 | 下载(pdf) 属于 作为高阶数据类型通用程序的设计模式 -
[140] 圆周率数字的一种无界插口算法 杰里米·吉本斯 在 美国数学月刊 . 第113卷。 第四。 第318-328页。 年月日, 2006 转载于《Pi:下一代》第245−257页,编辑:David H.Bailey和Jonathan M.Borwein Springer 2016年ISBN 978−3−319−32377−0 细节 关于 圆周率数字的一种无界插口算法 | BibTeX公司 的数据 圆周率数字的一种无界插口算法 | 下载(pdf) 属于 圆周率数字的一种无界插口算法 -
[141] 快速而宽松的推理在道德上是正确的 尼尔斯·安德斯·丹尼尔森、杰里米·吉本斯、约翰·休斯和帕特里克·詹森 在 程序设计语言原理 . 第206-217页。 年月日, 2006 细节 关于 快速而宽松的推理在道德上是正确的 | BibTeX公司 的数据 快速而宽松的推理在道德上是正确的 | 内政部(10.1145/111037.111056) | 下载(pdf) 属于 快速而宽松的推理在道德上是正确的 -
[142] 列举理由 杰里米·吉本斯(Jeremy Gibbons)、大卫·莱斯特(David Lester)和理查德·伯德(Richard Bird) 在 函数编程杂志 . 第16卷。 第四。 2006 细节 关于 列举理由 | BibTeX公司 的数据 列举理由 | 内政部(10.1017/S0956796806005880) | 下载(pdf) 属于 列举理由 -
[143] 程序理解裂变 杰里米·吉本斯 编辑Tarmo Uustalu, 程序构造数学 . 第4014卷 计算机科学课堂讲稿。 第162-179页。 Springer−Verlag。 2006 细节 关于 程序理解裂变 | BibTeX公司 的数据 程序理解裂变 | 内政部(10.1007/11783596_12) | 下载(pdf) 属于 程序理解裂变 -
[144] 迭代器模式的本质 杰里米·吉本斯和布鲁诺·塞萨尔·多斯·桑托斯·奥利维拉 在Conor McBride和Tarmo Uustalu的编辑中, 数学结构化函数编程 . 2006 被Gibbons&Oliveira2008取代:精华 -
[145] 作为高阶数据类型通用程序的设计模式 杰里米·吉本斯 在 欧洲面向对象编程会议 . 格拉斯哥。 7月, 2005 后期版本为Gibbons 2005:DesignOOPSLA 细节 关于 作为高阶数据类型通用程序的设计模式 | BibTeX公司 的数据 作为高阶数据类型通用程序的设计模式 | 链接 到 作为高阶数据类型通用程序的设计模式 -
[146] 作为高阶数据类型通用程序的设计模式 杰里米·吉本斯 在 面向对象编程:系统语言应用 . 圣地亚哥。 10月, 2005 Gibbons 2005的修订版:DesignECOOP 细节 关于 作为高阶数据类型通用程序的设计模式 | BibTeX公司 的数据 作为高阶数据类型通用程序的设计模式 | 链接 到 作为高阶数据类型通用程序的设计模式 -
[147] 协同安全程序的证明方法 杰里米·吉本斯和格雷厄姆·赫顿 在 计算机基础理论 . 第66卷。 第四。 第353至366页。 2005 细节 关于 协同安全程序的证明方法 | BibTeX公司 的数据 协同安全程序的证明方法 | 下载(pdf) 属于 协同安全程序的证明方法 -
[148] TypeCase:类型索引函数的设计模式 布鲁诺·塞萨尔·多斯桑托斯·奥利维拉和杰里米·吉本斯 编辑Daan Leijen, 哈斯克尔工作坊 . 第98至109页。 2005 细节 关于 TypeCase:类型索引函数的设计模式 | BibTeX公司 的数据 TypeCase:类型索引函数的设计模式 | 内政部(10.1145/1088348.1088358) | 下载(pdf) 属于 TypeCase:类型索引函数的设计模式 -
[149] 流媒体表示-转换器 杰里米·吉本斯 编辑Dexter Kozen, 程序构造数学 . 第3125卷 计算机科学课堂讲稿。 第142-168页。 7月, 2004 http://www.springerlink.com/index/LHQ73WU5GU686976 细节 关于 流媒体表示-转换器 | BibTeX公司 的数据 流媒体表示-转换器 | 内政部(10.1007/978-3-540-27764-4_9) | 下载(pdf) 属于 流媒体表示-转换器 -
[150] 嵌套数据类型的规则化“高效”通用折叠 克莱尔·马丁、杰里米·吉本斯和伊恩·贝利 在 计算的形式方面 . 第16卷。 1号。 第19-35页。 2004 细节 关于 嵌套数据类型的规则化“高效”通用折叠 | BibTeX公司 的数据 嵌套数据类型的规则化“高效”通用折叠 | 内政部(10.1007/s00165-003-0013-6) | 下载(pdf) 属于 嵌套数据类型的规则化“高效”通用折叠 -
[151] 泛型编程暑期学校 罗兰·巴克豪斯和杰里米·吉本斯 第2793卷 计算机科学课堂讲稿。 Springer−Verlag。 2003 -
[152] -
[153] 兼职研究生软件工程项目的监督与评估 Andrew Simpson、Andrew Martin、Jeremy Gibbons、Jim Davies和Steve McKeever 在 国际软件工程会议 . 第628-633页。 2003 细节 关于 兼职研究生软件工程项目的监督与评估 | BibTeX公司 的数据 兼职研究生软件工程项目的监督与评估 | 下载(pdf) 属于 兼职研究生软件工程项目的监督与评估 -
[154] 折叠和展开的算术编码 理查德·伯德和杰里米·吉本斯 Johan Jeuring和Simon Peyton Jones,编辑, 高级函数编程4 . 第2638卷 计算机科学课堂讲稿。 第1-26页。 Springer−Verlag。 2003 代码可在 http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.zip 细节 关于 折叠和展开的算术编码 | BibTeX公司 的数据 折叠和展开的算术编码 | 内政部(10.1007/978-3-540-44833-4_1) | 下载(pdf) 属于 折叠和展开的算术编码 -
[155] 数据类型模式——通用编程 杰里米·吉本斯 编辑Jörg Striegnitz和Kei Davis, 多参数编程 . 第27卷。 第277至289页。 约翰·冯·诺依曼计算机研究所(NIC)。 2003 第一届面向对象语言环境下的声明式编程国际研讨会(DPCOOL) 细节 关于 数据类型模式——通用编程 | BibTeX公司 的数据 数据类型模式——通用编程 | 下载(pdf) 属于 数据类型模式——通用编程 -
[156] 通用编程 Jeremy Gibbons和Johan Jeuring,编辑 IFIP TC2通用编程工作会议记录Schlo Dagstuhl,2002年7月。 ISBN 1−4020−7374−7。 -
[157] 折纸编程 杰里米·吉本斯 Jeremy Gibbons和Oege de Moor,编辑, 编程的乐趣 . 第41-60页。 帕尔格雷夫。 2003 -
[158] 面向基于Colimit的可视化编程语义 杰里米·吉本斯 在 协调模型和语言 . 第2315卷 计算机科学课堂讲稿。 第166-173页。 年月日, 2002 细节 关于 面向基于Colimit的可视化编程语义 | BibTeX公司 的数据 面向基于Colimit的可视化编程语义 | 下载(pdf) 属于 面向基于Colimit的可视化编程语义 -
[159] 程序构造数学中的代数和余代数方法 罗兰·巴克豪斯(Roy Crole)和杰里米·吉本斯(Jeremy Gibbons) 第2297卷 计算机科学课堂讲稿。 Springer−Verlag。 2002 细节 关于 程序构造数学中的代数和余代数方法 | BibTeX公司 的数据 程序构造数学中的代数和余代数方法 | 下载(pdf) 属于 程序构造数学中的代数和余代数方法 -
[160] 优化问题的代数方法 理查德·伯德、杰里米·吉本斯和申成木 罗兰·巴克豪斯(Roy Crole)和杰里米·吉本斯(Jeremy Gibbons),编辑, 程序构造数学中的代数和余代数方法 . 第2297卷 计算机科学课堂讲稿。 第281-307页。 Springer−Verlag。 2002 -
[161] 计算功能程序 杰里米·吉本斯 罗兰·巴克豪斯(Roy Crole)和杰里米·吉本斯(Jeremy Gibbons),编辑, 程序构造数学中的代数和余代数方法 . 第2297卷 计算机科学课堂讲稿。 第148-203页。 Springer−Verlag。 2002 -
[162] 一般逼近引理 格雷厄姆·赫顿和杰里米·吉本斯 在 信息处理信件 . 第79卷。 第四。 第197-201页。 八月, 2001. 细节 关于 一般逼近引理 | BibTeX公司 的数据 一般逼近引理 | 内政部(10.1016/S0020-0190(00)00220-9) | 链接 到 一般逼近引理 -
[163] 什么时候函数是折叠还是展开? 杰里米·吉本斯(Jeremy Gibbons)、格雷厄姆·哈顿(Graham Hutton)和托尔斯滕·阿尔滕科奇(Thorsten Altenkirch) 在 理论计算机科学电子笔记 . 第44卷。 1号。 年月日, 2001. 计算机科学中的协代数方法进展 细节 关于 什么时候函数是折叠还是展开? | BibTeX公司 的数据 什么时候函数是折叠还是展开? | DOI(10.1016/S1571-0661(04)80906-X) | 链接 到 什么时候函数是折叠还是展开? -
[164] 关于嵌套数据类型的语义 克莱尔·马丁和杰里米·吉本斯 在 信息处理信件 . 第80卷。 第五。 第233-238页。 年月日, 2001. -
[165] 点式关系编程 Oege de Moor和Jeremy Gibbons 在 代数方法论与软件技术 . 第1816卷 计算机科学课堂讲稿。 第371-390页。 五月, 2000 -
[166] -
[167] 程序优化自然 理查德·伯德、杰里米·吉本斯和杰兰特·琼斯 编辑J.W.Davies、A.W.Roscoe和J.C.P.Woodcock, 计算机科学的千禧年展望 . 帕尔格雷夫。 2000 -
[168] 计算函数程序的代数和余代数方法的课堂讲稿 杰里米·吉本斯 三月, 1999 爱沙尼亚计算机科学冬季学校 -
[169] -
[170] 缩小算法差距:段落格式的线性时间函数程序 Oege de Moor和Jeremy Gibbons 在 计算机程序设计科学 . 第35卷。 1号。 1999 细节 关于 缩小算法差距:段落格式的线性时间函数程序 | BibTeX公司 的数据 缩小算法差距:段落格式的线性时间函数程序 | 链接 到 缩小算法差距:段落格式的线性时间函数程序 -
[171] 结构化协同安全程序的证明方法 杰里米·吉本斯和格雷厄姆·赫顿 在 第一届苏格兰函数编程研讨会会议记录 . 1999 -
[172] -
[173] 多型向下聚集 杰里米·吉本斯 编辑Johan Jeuring, 程序构造数学学报 . 第1422卷 计算机科学课堂讲稿。 第207至233页。 Marstrand?瑞典。 年月日, 1998 Springer−Verlag。 -
[174] Java结构化编程 杰里米·吉本斯 在 SIGPLAN通知 . 第33卷。 第四。 第40-43页。 年月日, 1998 也在Fintan Culwin“编辑”中 第二届计算机课程Java会议记录 伦敦南岸大学 -
[175] 反纹理:线性-时间宽度-第一树算法 杰里米·吉本斯和杰兰特·琼斯 1998 牛津布鲁克斯大学和牛津大学计算机实验室 -
[176] 计算功能程序 杰里米·吉本斯 编辑中田庆一, ISRG/SERG研究座谈会会议记录 . 牛津布鲁克斯大学计算与数学科学学院。 11月, 1997 技术报告CMS−TR−98−01 -
[177] 关于合并和选择的更多信息 杰里米·吉本斯 编号CMS−TR−97−08。 牛津布鲁克斯大学计算与数学科学学院。 10月, 1997 -
[178] 分布范畴中的条件 杰里米·吉本斯 编号CMS−TR−97−01。 牛津布鲁克斯大学计算与数学科学学院。 年月日, 1997 -
[179] 追踪惰性函数语言 杰里米·吉本斯和基斯·旺斯堡 编辑Michael E.Houle和Peter Eades, 计算:澳大利亚理论研讨会 . 第11-20页。 墨尔本。 年月日, 1996. -
[180] 快速计算树上的向下累加 杰里米·吉本斯 在 理论计算机科学 . 第169卷。 1号。 第67-80页。 1996. 早期版本发表于1993年布里斯班第16届澳大利亚计算机科学会议记录 -
[181] -
[182] 第三个同态定理 杰里米·吉本斯 在 函数编程杂志 . 第6卷。 第四。 第657–665页。 1996. 更早的版本出现在B.JayC中。 编辑器 计算:澳大利亚理论研讨会 悉尼,1994年12月,62–6p.9 -
[183] 组合数学的复杂性和逻辑:离散数学和理论计算机科学论文集 Douglas Bridges、Cris Calude、Jeremy Gibbons、Steve Reeves和Ian Witten,编辑 细节 关于 组合数学的复杂性和逻辑:离散数学和理论计算机科学论文集 | BibTeX公司 的数据 组合数学的复杂性和逻辑:离散数学和理论计算机科学论文集 -
[184] 有向非循环图的初始−代数方法 杰里米·吉本斯 编辑Bernhard Möller, 程序构造数学 . 第947卷 计算机科学课堂讲稿。 第282-303页。 Springer−Verlag。 1995 细节 关于 有向非循环图的初始−代数方法 | BibTeX公司 的数据 有向非循环图的初始−代数方法 | 链接 到 有向非循环图的初始−代数方法 -
[185] Metafont中的点线和虚线 杰里米·吉本斯 编辑罗宾·费尔贝恩斯, 1995年年度会议记录 . 用户组。 1995 细节 关于 Metafont中的点线和虚线 | BibTeX公司 的数据 Metafont中的点线和虚线 | 链接 到 Metafont中的点线和虚线 -
[186] 鸟类会议形式主义导论 杰里米·吉本斯 编辑Steve Reeves, 第一届新西兰正式计划发展座谈会会议记录 . 第1-12页。 汉密尔顿。 11月, 1994 -
[187] 树累加的高效并行算法 杰里米·吉本斯、蔡文彤和大卫·斯基利科恩 在 计算机程序设计科学 . 第23卷。 第1-18页。 1994 -
[188] 如何导出树木的潮汐图 杰里米·吉本斯 在C.Calude、M.J.J.Lennon和H.Maurer的编辑中, 奥克兰Salodays会议记录 . 第53-73页。 奥克兰大学计算机科学系。 1994 还参加了第一届新西兰正式项目开发座谈会会议记录105–126p‥ -
[189] 线性时间宽度优先树算法:折叠和拉链算法练习 杰兰特·琼斯和杰里米·吉本斯 7号1号。 奥克兰大学计算机科学系。 五月, 1993 此外,IFIP工作组2.1工作文件705 WIN−2 细节 关于 线性时间宽度优先树算法:折叠和拉链算法练习 | BibTeX公司 的数据 线性时间宽度优先树算法:折叠和拉链算法练习 | 链接 到 线性时间宽度优先树算法:折叠和拉链算法练习 -
[190] 快速计算树上的向下累加 杰里米·吉本斯 在Gopal Gupta George Mohay和Rodney Topor的编辑中, 第16届澳大利亚计算机科学会议 . 第685–691页。 布里斯班。 2月, 1993 -
[191] 树上的向上和向下累积 杰里米·吉本斯 在R.S。 鸟?C.C。 摩根和J.C。 第页。 伍德科克,编辑, 程序构造数学 . 第669卷 计算机科学课堂讲稿。 第122–138页。 Springer−Verlag。 1993 修订后的版本出现在梅西函数编程研讨会(1992年)的会议记录中 -
[192] 正式方法:为什么我应该关心? T800 Transputer浮点单元的开发 杰里米·吉本斯 编辑约翰·霍斯金, 第13届新西兰计算机学会会议记录 . 第207-217页。 1993 细节 关于 正式方法:为什么我应该关心? T800 Transputer浮点单元的开发 | BibTeX公司 的数据 正式方法:为什么我应该关心? T800 Transputer浮点单元的开发 | 链接 到 正式方法:为什么我应该关心? T800 Transputer浮点单元的开发 -
[193] 树算法代数 杰里米·吉本斯 博士论文, type=D.Phil.论文。 牛津大学规划研究小组。 1991 可作为技术专著PRG−94提供。 国际标准图书编号0−902928−72−4 -
[194] 一种模式匹配算法的形式化推导 理查德·伯德(Richard S.Bird)、杰里米·吉本斯(Jeremy Gibbons)和杰兰特·琼斯(Geraint Jones) 在 计算机程序设计科学 . 第12卷。 2号。 第93-104页。 7月, 1989 细节 关于 一种模式匹配算法的形式化推导 | BibTeX公司 的数据 一种模式匹配算法的形式化推导 | 链接 到 一种模式匹配算法的形式化推导 -
[195] 二叉树的一种新观点 杰里米·吉本斯 硕士论文, type=转让论文。 牛津大学规划研究小组。 1988 摘要见EATCS第39号公告第214页。 -
[196]