编辑配置文件(在新选项卡中打开) 格雷厄姆·赫顿 合著者距离 作者ID: 哈顿格拉汉姆 发布方式: 格雷厄姆·赫顿;G.赫顿。 外部链接: MGP公司 已编制索引的文档: 29出版物自1992年以来,包括2本书 3作为编辑的贡献 合著者: 15位合著者具有19联合出版物 226合著作者 全部的 前5名合著者 13 单作者的 三 帕特里克·巴尔 三 杰里米·吉本斯 2 吉尔,安迪 2 珍妮弗·哈克特 2 毛罗·贾斯克利奥夫 2 Joel W.W.赖特。 1 托尔斯滕·阿滕柯奇 1 尼尔·加尼 1 马丁·汉德利。 1 布兰登·休尔 1 希望,凯瑟琳 1 卡斯滕·凯勒·霍尔斯特 1 埃里克·梅杰尔 1 西蒙·琼斯(Simon L.Peyton Jones)。 1 尼尔·斯卡索普 系列 14 函数编程杂志 1 信息处理信件 1 计算机基础理论 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 领域 32 计算机科学(68至XX) 2 总体主题;集合(00-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用94中的次74文件 引用人▼ 年份▼ 关于褶皱的普遍性和表现力的教程。 Zbl 0948.68036号 格雷厄姆·赫顿 12 1999 Haskell中的单数分析。 Zbl 0917.68039号 格雷厄姆·赫顿;埃里克·梅杰尔 11 1998 用于分析的高阶函数。 Zbl 0817.68097号 格雷厄姆·赫顿 10 1992 共同草书程序的证明方法。 Zbl 1098.68028号 杰里米·吉本斯;格雷厄姆·赫顿 8 2005 Haskell编程。 Zbl 1117.68018号 格雷厄姆·赫顿 8 2007 折叠和展开程序语义。 Zbl 1369.68103号 格雷厄姆·赫顿 6 1997 这些持续的中断是什么意思? 兹比尔1129.68410 格雷厄姆·赫顿;乔尔·赖特 5 2007 工作机/包装器转换。 Zbl 1178.68135号 安迪·吉尔;格雷厄姆·赫顿 5 2009 正在计算正确的编译器。 Zbl 1420.68053号 帕特里克·巴尔;格雷厄姆·赫顿 5 2015 Haskell编程。第二次修订和扩展版。 兹比尔1344.68001 格雷厄姆·赫顿 5 2016 分解折叠以实现更快的功能。 Zbl 1210.68047号 格雷厄姆·赫顿;毛罗·贾斯克利奥夫;安迪·吉尔 三 2010 数学操作语义的模块化和实现。 Zbl 1291.68123号 毛罗·贾斯克利奥夫;尼尔·加尼;格雷厄姆·赫顿 三 2011 什么时候函数是折叠还是展开? Zbl 1260.68096号 杰里米·吉本斯;格雷厄姆·赫顿;托尔斯滕·阿滕柯奇 三 2001 正确编译异常。 Zbl 1106.68342号 格雷厄姆·赫顿;乔尔·赖特 2 2004 泛型逼近引理。 Zbl 1032.68050号 G.赫顿。;J·吉本斯。 2 2001 精确的步数。 Zbl 1236.68030号 希望,凯瑟琳;格雷厄姆·赫顿 1 2006 删除延续。 Zbl 1343.68041号 格雷厄姆·赫顿;帕特里克·巴尔 1 2016 便宜的程序! Zbl 1401.68041号 珍妮弗·哈克特;格雷厄姆·赫顿 1 2015 编写一个50年的旅程。 Zbl 1476.68058号 格雷厄姆·赫顿;帕特里克·巴尔 1 2017 程序构造的数学。2019年10月7日至9日在葡萄牙波尔图举行的MPC 2019第13届国际会议。诉讼程序。 兹比尔1428.68024 1 2019 折叠和展开程序语义。 Zbl 1428.68103号 格雷厄姆·赫顿 1 1999 程序构造的数学。2019年10月7日至9日在葡萄牙波尔图举行的MPC 2019第13届国际会议。诉讼程序。 Zbl 1428.68024号 1 2019 编写一个50年的旅程。 Zbl 1476.68058号 格雷厄姆·赫顿;帕特里克·巴尔 1 2017 Haskell编程。第二次修订和扩展版。 Zbl 1344.68001号 格雷厄姆·赫顿 5 2016 去掉延续部分。 Zbl 1343.68041号 格雷厄姆·赫顿;帕特里克·巴尔 1 2016 正在计算正确的编译器。 Zbl 1420.68053号 帕特里克·巴尔;格雷厄姆·赫顿 5 2015 便宜的程序! Zbl 1401.68041号 珍妮弗·哈克特;格雷厄姆·赫顿 1 2015 数学操作语义的模块化和实现。 Zbl 1291.68123号 毛罗·贾斯克利奥夫;尼尔·加尼;格雷厄姆·赫顿 三 2011 分解折叠以实现更快的功能。 Zbl 1210.68047号 格雷厄姆·赫顿;毛罗·贾斯克利奥夫;安迪·吉尔 三 2010 工作机/包装器转换。 Zbl 1178.68135号 安迪·吉尔;格雷厄姆·赫顿 5 2009 Haskell编程。 Zbl 1117.68018号 格雷厄姆·赫顿 8 2007 这些持续的中断是什么意思? Zbl 1129.68410号 格雷厄姆·赫顿;乔尔·赖特 5 2007 精确的步数。 Zbl 1236.68030号 希望,凯瑟琳;格雷厄姆·赫顿 1 2006 共同草书程序的证明方法。 Zbl 1098.68028号 杰里米·吉本斯;格雷厄姆·赫顿 8 2005 正确编译异常。 Zbl 1106.68342号 格雷厄姆·赫顿;乔尔·赖特 2 2004 什么时候函数是折叠还是展开? Zbl 1260.68096号 杰里米·吉本斯;格雷厄姆·赫顿;托尔斯滕·阿滕柯奇 三 2001 泛型逼近引理。 Zbl 1032.68050号 G.赫顿。;J·吉本斯。 2 2001 关于褶皱的普遍性和表现力的教程。 Zbl 0948.68036号 格雷厄姆·赫顿 12 1999 折叠和展开程序语义。 兹比尔1428.68103 格雷厄姆·赫顿 1 1999 Haskell中的单数分析。 Zbl 0917.68039号 格雷厄姆·赫顿;埃里克·梅杰尔 11 1998 折叠和展开程序语义。 Zbl 1369.68103号 格雷厄姆·赫顿 6 1997 用于分析的高阶函数。 Zbl 0817.68097号 格雷厄姆·赫顿 10 1992 所有引用出版物 前5名被引用出版物 全部的 前5名120位作者引用 10 格雷厄姆·赫顿 4 帕特里克·巴尔 三 加尼,尼尔 三 杰里米·吉本斯 三 毛罗·贾斯克利奥夫 2 埃里克·巴杜埃尔 2 维南西奥·卡普雷塔 2 罗伯特·J·科尔文。 2 安迪·吉尔 2 巴斯蒂安·海仁 2 拉尔夫·欣泽 2 约翰·杰林 2 戈登·普洛金(Gordon D.Plotkin)。 2 汤姆·施里杰弗斯 2 斯威斯特拉,S.多伊茨 2 沃特·斯威斯特拉 2 保罗·托里尼 1 阿卜杜拉扎克·阿巴 1 丹尼尔·艾哈曼 1 佩里·亚历山大 1 托尔斯滕·阿滕柯奇 1 奥曼·波霍拉,约翰内斯 1 浅井,肯尼奇 1 安妮·巴嫩 1 巴赫·鲍尔森,卡斯珀 1 阿拉斯泰尔·巴特勒 1 安娜·卡瓦尔坎蒂 1 沃尔特·卡佐拉 1 Manuel M.T.查克拉瓦蒂。 1 亚瑟·查古埃罗 1 莎朗·柯蒂斯(Sharon A.Curtis)。 1 奥利维尔·丹维 1 德马尔基,费德里科 1 汉斯·德·尼维尔 1 简朴的乔科 1 塞萨尔·多明格斯 1 雷米·杜伦斯 1 索尔伦·哈拉·埃纳尔斯多蒂尔 1 约尔格恩德鲁利斯 1 吉登·恩斯特 1 圣保罗费尔南德斯 1 伯纳德·福清 1 帕斯卡·弗雷德特 1 尼古拉斯·弗里斯比 1 傅鹏 1 加米,彼得 1 亚历克斯·格德斯 1 哈布托姆·卡西·吉迪 1 海因氏胶 1 伊恩·海耶斯。 1 乔斯·海因茨 1 迪米特里·亨德里克斯 1 乔纳森·赫拉斯 1 史蒂夫·希尔 1 里卡多·霍诺拉托·齐梅尔 1 杰西·休斯 1 伊索莫特宁,维尔 1 杰里米·雅各布。 1 吉姆·特雷弗 1 穆阿·约翰逊 1 加布里埃尔·科妮莉亚·凯勒 1 加林·金梅尔 1 奥列格·基塞利约夫 1 扬·威廉·克鲁普 1 Klyuchnikov,I.G。 1 叶卡捷琳娜·科门丹茨卡亚 1 Jacco O.G.Krijnen。 1 安德烈亚斯·洛赫比勒 1 克里斯托夫·吕斯 1 肯·马德勒 1 Mandelbaum,伊扎克 1 迭戈·马姆斯勒 1 克莱尔·马丁。 1 吉列尔莫·马特拉 1 斯特芬·马扎内克 1 康诺·托马斯·麦克布莱德 1 安德鲁·米勒。 1 马克·米纳斯 1 雅罗斯瓦夫·亚当·米兹扎克 1 佩德罗·莫西洛。 1 莫雷诺,吉纳斯 1 彼得·莫塞斯(Peter D.Mosses)。 1 马修·奈勒 1 阿尔珀·奥达巴什 1 保罗·奥利瓦 1 何塞·努诺·奥利维拉 1 彼得·帕达维茨 1 阿尔贝托·帕尔多 1 安德鲁·帕特里奇 1 罗斯·A·帕特森。 1 安德鲁·波伦斯基 1 安德鲁·庞德 1 弗朗索瓦·波蒂埃 1 权力,约翰 1 波扎,玛丽亚 1 托马斯·里奇 1 埃克塞奎尔·里瓦斯 1 谢尔盖·罗曼恩科。 1 鲁比奥·加西亚、朱利奥·杰苏斯 1 科林·伦西曼 …还有20多位作者 全部的 前5名20篇连载文章中引用 16 函数编程杂志 4 理论计算机科学 4 计算机程序设计科学 三 计算的形式方面 2 自动推理杂志 2 高阶和符号计算 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 信息处理信件 1 波兰科学院公报。技术科学 1 模拟中的数学和计算机 1 编程和计算机软件 1 国际计算机科学基础杂志 1 逻辑、语言与信息杂志 1 土耳其数学杂志 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 计算机科学中的数学 1 游戏 1 Modelirovanie i Analiz信息系统 全部的 前5名在9个字段中引用 72 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 6 范畴理论;同调代数(18-XX) 2 生物学和其他自然科学(92-XX) 2 数学教育(97-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 代数拓扑(55-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文