编辑配置文件(在新选项卡中打开) 杰弗里·伯恩。 合著者距离 作者ID: 燃烧-灰黄色-l 发布日期: 杰弗里·伯恩;烧伤,杰弗里·L。;G.L.伯恩。 更多。。。较少的 外部链接: 管理程序 已编制索引的文档: 9出版物自1986年以来,包括1本书 1名编辑贡献 合著者: 5位合著者具有7联合出版物 193位合作作者 合著者 三 单作者的 4 克里斯·汉金。 2 萨姆森·艾布拉姆斯基 2 丹尼尔·勒梅泰勒 2 西蒙·琼斯(Simon L.Peyton Jones)。 1 西蒙·盖伊。 系列 1 理论计算机科学 1 计算机程序设计科学 1 函数编程杂志 字段 10 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 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名被引用出版物 全部的 前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 周,可以 全部的 前5名11篇连载文章中引用 10 理论计算机科学 6 信息与计算 4 信息处理信件 4 函数编程杂志 2 MSCS公司。计算机科学中的数学结构 1 信息学报 1 新一代计算 1 计算的形式方面 1 RAIRO公司。Informatique Théorique et Applications公司 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 在5个字段中引用 42 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 阶、格、有序代数结构(06-XX) 2 范畴理论;同调代数(18-XX) 按年份列出的引文