×
作者ID: 燃烧-灰黄色-l最近由“Burn,Geoffrey L.”撰写的zbMATH文章
发布日期: 杰弗里·伯恩;烧伤,杰弗里·L。;G.L.伯恩。
外部链接: 管理程序
已编制索引的文档: 9出版物自1986年以来,包括1本书
1名编辑贡献
合著者: 5位合著者具有7联合出版物
193位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

8出版物有被引用51中的次43文件 引用人 年份
高阶函数的严格性分析。 Zbl 0603.68013号
烧伤,杰弗里·L。;克里斯·汉金;萨姆森·艾布拉姆斯基
24
1986
高阶函数严格性分析理论。 Zbl 0596.68009号
G.L.伯恩。;汉金,C.L。;艾布拉姆斯基,S。
11
1986
懒惰的函数语言:抽象解释和编译。 Zbl 0809.68079号
杰弗里·伯恩
7
1991
求值变换器-函数语言的并行求值模型。 Zbl 0624.68014号
杰弗里·伯恩。
1987
变压器降阶评估模型及其正确性。 Zbl 0967.68532号
G.L.伯恩。
2
1991
基于严格性分析证明编译器优化的正确性。 Zbl 0791.68025号
杰弗里·伯恩;丹尼尔·勒梅泰勒
2
1993
并行组合子约简的一种安全方法。 Zbl 0587.68010号
克里斯·汉金。;杰弗里·伯恩。;西蒙·佩顿·琼斯
1
1986
并行组合子约简的一种安全方法。 Zbl 0632.68017号
克里斯·汉金;杰弗里·伯恩;佩顿·琼斯,西蒙
1
1988
基于严格性分析证明编译器优化的正确性。 Zbl 0791.68025号
烧伤,杰弗里;丹尼尔·勒梅泰勒
2
1993
懒惰的函数语言:抽象解释和编译。 Zbl 0809.68079号
杰弗里·伯恩
7
1991
变压器降阶评估模型及其正确性。 Zbl 0967.68532号
G.L.伯恩。
2
1991
并行组合子约简的一种安全方法。 兹比尔0632.68017
克里斯·汉金;杰弗里·伯恩;西蒙·佩顿·琼斯
1
1988
求值变换器-函数语言的并行求值模型。 Zbl 0624.68014号
杰弗里·伯恩。
1987
高阶函数的严格性分析。 Zbl 0603.68013号
杰弗里·伯恩。;克里斯·汉金;萨姆森·艾布拉姆斯基
24
1986
高阶函数严格性分析理论。 Zbl 0596.68009号
G.L.伯恩。;汉金,C.L。;艾布拉姆斯基,S。
11
1986
并行组合子约简的一种安全方法。 Zbl 0587.68010号
克里斯·汉金。;杰弗里·伯恩。;西蒙·佩顿·琼斯
1
1986
全部的 前5名

64位作者引用

4 弗莱明·尼尔森
克里斯·汉金。
曼弗雷德·施密特·沙乌
2 弗洛里安·布鲁斯
2 杰弗里·伯恩。
2 马里奥·科普
2 本杰明·戈德伯格
2 约格·克里克
2 马丁·兰格
2 约翰·朗奇伯里
2 杨·帕克。
2 大卫·萨贝尔
2 马尔科·萨利泽
2 马可·舒茨
1 巴拉基,盖布雷塞拉西
1 亨德里克·彼得·巴伦德雷格特
1 大卫·博尔顿
1 费卢西奥·达米亚尼
1 马尔滕·德·莫尔
1 米尔恰·德拉吉切斯库
1 彼得·迪布杰
1 阿明,法朱迪亚
1 法拉利,阿尔贝托·何塞
1 吉尔伯托·菲莱
1 保拉·吉安尼尼
1 尤里安·黑格
1 马修·黑格
1 斯特凡·霍尔德曼
1 杰·巴里
1 尼尔·D·琼斯。
1 塞缪尔·卡明。
1 J.F.Th.卡佩尔曼。
1 保罗·H·J·凯利。
1 肯尼韦,J.R。
1 理查德·肯纳韦
1 扬·威廉·克鲁普
1 丹尼尔·勒梅泰勒
1 大卫·R·莱斯特。
1 李毅然
1 萨尔瓦多卢卡斯
1 帕斯夸尔马拉卡里亚
1 金·万豪酒店
1 迈克尔·门德勒
1 罗兰·迈耶
1 萨瓦·明切夫
1 普拉蒂克·米什拉
1 Masaaki Mizuno
1 塞巴斯蒂安·穆斯卡拉
1 帕特森,罗斯·A。
1 西蒙·琼斯(Simon L.Peyton Jones)。
1 Plasmeijer,里努斯
1 Purushothaman、Sudarshan P。
1 弗朗切斯科·兰扎托
1 杰勒德·拉瓦莱特(Gerard R.Renardel de Lavalette)。
1 汉内·里斯·尼尔森
1 克拉拉·塞古拉
1 赫尔穆特·塞德尔
1 Razin A.谢赫。
1 睡眠,M.罗南
1 Kirsten Lackner索尔伯格
1 卡门·托拉诺
1 马克·范·埃克伦
1 H·R·J·沃尔特斯。
1 周,可以

按年份列出的引文