×
作者ID: 哈顿格拉汉姆“Hutton,Graham”最近发表的zbMATH文章
发布方式: 格雷厄姆·赫顿;G.赫顿。
外部链接: MGP公司
已编制索引的文档: 29出版物自1992年以来,包括2本书
3作为编辑的贡献
合著者: 15位合著者具有19联合出版物
226合著作者

按年份列出的出版物

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名

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多位作者

按年份列出的引文