编辑配置文件（在新选项卡中打开） 埃里克·坦特 合著者距离 作者ID： 密宗 发布日期： 埃里克·坦特 已编制索引的文档： 20份出版物自2001年起 2作为编辑的贡献 合著者： 38位合著者具有21联合出版物 313联合作者 全部的 前5名合著者 1 单作者的 4 雅克·诺伊 4 尼古拉斯·塔巴雷奥 三 罗纳德·加西亚 2 费利佩·巴尼亚多斯·施沃特 2 千叶、茂鲁 2 皮埃尔·埃瓦里斯特·达甘 2 约翰·法布里 2 马蒂亚斯·托罗 1 卡明·阿巴特 1 乔纳森·奥尔德里奇 1 约翰内斯·巴德 1 罗伯托·布兰科 1 埃里克·博登 1 Bouraqadi-Saádani，Noury M.N。 1 Ciobâcă，沙特凡 1 Alison M.克拉克。 1 沃尔夫冈·德梅特 1 马库斯·丹克 1 提奥·D’Hondt 1 雷米·杜伦斯 1 Stéphane Ducasse 1 阿德里安·杜里埃 1 迪帕克·加格 1 Hriţcu，科特林 1 基恩泽尔，约格 1 伊丽莎白·拉布拉达 1 Gary T.Leavens。 1 尼科·莱曼 1 沙哈尔·茂兹 1 马尔科·帕特里尼亚尼 1 何塞·米盖尔·皮克 1 纪尧姆·波蒂埃 1 克里斯托夫·斯科利尔斯 1 马克·塞古拉·德维尔凯斯 1 索索、马蒂厄 1 马里奥·苏霍尔特 1 杰雷米·蒂鲍特 1 鲁道夫·托莱多 全部的 前5名系列 4 计算机程序设计科学 三 函数编程杂志 2 美国计算机学会期刊 2 计算机科学课堂讲稿 1 分布式计算 1 计算机语言、系统和结构 领域 22 计算机科学（68至XX） 三 总体主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用35中的次21文件 引用人▼ 年份▼ 抽象渐进式打字。 Zbl 1347.68081号 罗纳德·加西亚；Alison M.克拉克。；埃里克·坦特 12 2016 逐步细化类型。 Zbl 1380.68086号 尼科·莱曼；埃里克·坦特 5 2017 渐进效应系统理论。 兹比尔1345.68037 费利佩·巴尼亚多斯·施沃特；罗纳德·加西亚；埃里克·坦特 4 2014 通过字节码操作改变Java语义。 Zbl 1028.68901号 埃里克·坦特；马克·塞古拉·德维尔凯斯；雅克·诺伊；若泽·皮克 2 2002 分布式方面的范围界定策略。 兹伯利1209.68113 埃里克·坦特；约翰·法布里；雷米·杜伦斯；雅克·诺伊；马里奥·苏霍尔特 2 2010 并集类型的逐步解释。 Zbl 1420.68029号 马蒂亚斯·托罗；埃里克·坦特 2 2017 依赖互操作性的基础。 兹比尔1476.68051 皮埃尔·埃瓦里斯特·达甘；尼古拉斯·塔巴雷奥；埃里克·坦特 2 2018 跟踪编译器的正确性和安全编译。 Zbl 1508.68046号 卡明·阿巴特；罗伯托·布兰科；特凡市CiobácȘ；阿德里安·杜里埃；迪帕克·加格；Hrițcu，科特林；马可·帕特里格纳尼；埃里克·坦特；杰雷米·蒂鲍特 1 2020 Smalltalk的运行时字节码转换。 Zbl 1102.68435号 马库斯·丹克；Stéphane Ducasse；埃里克·坦特 1 2006 Reflex–面向Java的开放反射扩展。 Zbl 1038.68885号 埃里克·坦特；Bouraqadi-Saádani，Noury M.N。；雅克·诺伊 1 2001 逐步程序验证。 Zbl 1446.68087号 约翰内斯·巴德；乔纳森·奥尔德里奇；埃里克·坦特 1 2018 渐变型和效果系统。 Zbl 1420.68033号 费利佩·巴尼亚多斯·施沃特；罗纳德·加西亚；埃里克·坦特 1 2016 验证依赖互操作性的部分类型等效性。 Zbl 1360.68322号 皮埃尔·埃瓦里斯特·达甘；尼古拉斯·塔巴雷奥；埃里克·坦特 1 2016 跟踪编译器的正确性和安全编译。 兹比尔1508.68046 卡明·阿巴特；罗伯托·布兰科；特凡市CiobácȘ；阿德里安·杜里埃；迪帕克·加格；Hrițcu，科特林；马可·帕特里格纳尼；埃里克·坦特；杰雷米·蒂鲍特 1 2020 依赖互操作性的基础。 兹比尔1476.68051 皮埃尔·埃瓦里斯特·达甘；尼古拉斯·塔巴雷奥；埃里克·坦特 2 2018 逐步程序验证。 兹比尔1446.68087 约翰内斯·巴德；乔纳森·奥尔德里奇；埃里克·坦特 1 2018 逐步细化类型。 Zbl 1380.68086号 尼科·莱曼；埃里克·坦特 5 2017 并集类型的逐步解释。 Zbl 1420.68029号 马蒂亚斯·托罗；埃里克·坦特 2 2017 抽象渐进式打字。 Zbl 1347.68081号 罗纳德·加西亚；Alison M.克拉克。；埃里克·坦特 12 2016 渐变型和效果系统。 Zbl 1420.68033号 费利佩·巴尼亚多斯·施沃特；罗纳德·加西亚；埃里克·坦特 1 2016 验证依赖互操作性的部分类型等效性。 Zbl 1360.68322号 皮埃尔·埃瓦里斯特·达根；尼古拉斯·塔巴雷奥；埃里克·坦特 1 2016 渐进效应系统理论。 Zbl 1345.68037号 费利佩·巴尼亚多斯·施沃特；罗纳德·加西亚；埃里克·坦特 4 2014 分布式方面的范围界定策略。 Zbl 1209.68113号 埃里克·坦特；约翰·法布里；雷米·杜伦斯；雅克·诺伊；马里奥·苏霍尔特 2 2010 Smalltalk的运行时字节码转换。 Zbl 1102.68435号 马库斯·丹克；Stéphane Ducasse；埃里克·坦特 1 2006 通过字节码操作改变Java语义。 Zbl 1028.68901号 埃里克·坦特；马克·塞古拉·德维尔凯斯；雅克·诺伊；若泽·皮克 2 2002 Reflex–面向Java的开放反射扩展。 Zbl 1038.68885号 埃里克·坦特；Bouraqadi-Saádani，Noury M.N。；雅克·诺伊 1 2001 所有引用出版物 前5名被引用出版物 全部的 前5名46位作者引用 5 埃里克·坦特 4 新，Max S。 三 丹尼尔·李卡塔（Daniel R.Licata）。 2 Stéphane Ducasse 2 尼古拉斯·塔巴雷奥 1 卡明·阿巴特 1 阿马尔·艾哈迈德 1 佩德罗·安吉洛 1 费利佩·巴纳多斯·施沃特 1 亚历山大·贝格尔 1 Busi，Matteo公司 1 约翰·彼得·坎波拉三世 1 陈盛 1 陈天宇 1 皮埃尔·埃瓦里斯特·达甘 1 大卫·达赖 1 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 1 马库斯·丹克 1 多米尼克·德夫里塞 1 雷米·杜伦斯 1 马丁·埃尔维格 1 约翰·法布里 1 马提亚斯·费莱森 1 丹尼尔·费尔蒂 1 罗伯特·布鲁斯，芬德勒 1 马里奥弗洛里多 1 罗纳德·加西亚 1 本·格林曼 1 佐藤库拉 1 阿扬·J·穆伊（Arjan J.Mooij）。 1 雅克·诺伊 1 奥尔特加·阿尔乔纳，豪尔赫·路易斯 1 弗兰克·皮森斯 1 卡拉·拉米雷斯·普利多 1 复习，A.系统 1 纳撒内尔·施亚利 1 杰里米·西克。 1 马里奥·苏德霍尔特 1 Asumu Takikawa 1 斯泰利奥斯·赞帕斯 1 托马斯·范·斯特里多克 1 David A.VanHorn。 1 维泰克，简 1 简·弗拉尼 1 埃里克·沃尔金肖 1 伍茨，罗尔 全部的 前5名7篇连载文章中引用 8 函数编程杂志 2 计算机语言、系统和结构 1 信息处理信件 1 计算机程序设计科学 1 分布式计算 1 高阶和符号计算 1 计算机科学中的逻辑方法 在4个字段中引用 21 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 2 范畴理论；同调代数（18-XX） 1 阶、格、有序代数结构（06-XX） 按年份列出的引文