编辑配置文件(在新选项卡中打开) 多米尼克·达根 合著者距离 作者ID: duggan.多米尼克 发布日期: 多米尼克·达根 已编制索引的文档: 16出版物自1996年起 合著者: 6位合著者具有8联合出版物 66位合作作者 全部的 前5名合著者 8 单作者的 三 约翰·奥斐尔 2 汤姆·乔西亚 1 弗雷德里克·本特 1 戈登·五·科马克。 1 君士坦丁·苏雷利斯 1 吴,叶 系列 三 信息学报 三 理论计算机科学 三 计算机程序设计科学 1 信息与计算 1 函数编程杂志 领域 16 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用28中的次26文件 引用人▼ 年份▼ 解释类型推断。 Zbl 0851.68015号 多米尼克·达根;弗雷德里克·本特 7 1996 容错全局计算的抽象。 Zbl 1071.68010号 汤姆·乔西亚;多米尼克·达根 6 2004 与扩展模式的统一。 Zbl 0932.68021号 多米尼克·达根 三 1998 混合模块。 Zbl 1345.68047号 多米尼克·达根;君士坦丁·苏雷利斯 三 1996 正在运行的模块的基于类型的热交换。 Zbl 1067.68038号 多米尼克·达根 2 2005 在类型化模块汇编语言中共享。 Zbl 0985.68507号 多米尼克·达根 2 2001 原子失效广域计算。 Zbl 0968.68004号 多米尼克·达根 1 2000 高阶替换。 兹比尔1003.68024 多米尼克·达根 1 2001 类型检查多参数类型类。 Zbl 0994.68034号 多米尼克·达根;约翰·奥斐尔 1 2002 参数重载的Kinded类型推理。 Zbl 0843.68018号 多米尼克·达根;戈登·科马克;约翰·奥斐尔 1 1996 正在运行的模块的基于类型的热交换(扩展抽象)。 Zbl 1323.68070号 多米尼克·达根 1 2001 正在运行的模块的基于类型的热交换。 Zbl 1067.68038号 多米尼克·达根 2 2005 容错全局计算的抽象。 Zbl 1071.68010号 汤姆·乔西亚;多米尼克·达根 6 2004 类型检查多参数类型类。 Zbl 0994.68034号 多米尼克·达根;约翰·奥斐尔 1 2002 在类型化模块汇编语言中共享。 Zbl 0985.68507号 多米尼克·达根 2 2001 高阶替换。 Zbl 1003.68024号 多米尼克·达根 1 2001 正在运行的模块的基于类型的热交换(扩展抽象)。 Zbl 1323.68070号 多米尼克·达根 1 2001 原子失效广域计算。 Zbl 0968.68004号 多米尼克·达根 1 2000 与扩展模式的统一。 Zbl 0932.68021号 多米尼克·达根 三 1998 解释类型推断。 Zbl 0851.68015号 多米尼克·达根;弗雷德里克·本特 7 1996 混合模块。 Zbl 1345.68047号 多米尼克·达根;君士坦丁·苏雷利斯 三 1996 参数重载的种类类型推断。 Zbl 0843.68018号 多米尼克·达根;戈登·科马克;约翰·奥斐尔 1 1996 所有引用出版物 前5名被引用出版物 全部的 前5名52位作者引用 5 多米尼克·达根 4 伊万·拉内斯 2 大卫·布雷索林 2 陈盛 2 乔瓦尼·拉戈里奥 2 克劳迪奥·安塔雷斯·梅齐纳 2 约翰·奥斐尔 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 罗伯托·布鲁尼 1 文卡特什乔佩拉 1 汤姆·乔西亚 1 戈登·V·科马克。 1 索菲亚·克洛伊·德罗索波卢 1 苏珊·艾森巴赫 1 纳比尔·布斯塔尼 1 Eo,玄俊 1 马丁·埃尔维格 1 马提亚斯·费莱森 1 吉安·路易吉,法拉利 1 罗兰·费蒂格 1 马修·弗拉特 1 高基町五指 1 埃琳娜·贾奇诺 1 罗伯特·瓜夏莱 1 尤里安·黑格 1 克劳迪娅·哈特登斯佩格 1 克里斯托弗·托马斯·海恩斯 1 杰森·希基。 1 Fairouz D.卡马雷丁。 1 彼得·肯普夫 1 Lee,Oukseh先生 1 托梅尔·利巴尔 1 伯恩德·洛什内尔 1 埃尔南·梅尔格拉蒂 1 戴尔·艾伦·米勒 1 乌戈·蒙塔纳里。 1 努尔,Md Rabib 1 Kazuhiro绪方 1 碧姬·品特卡 1 约翰·皮里 1 文森特·拉里 1 阿兰·施密特 1 马尔科·塞尔韦托 1 Jean-Bernard斯特凡尼 1 丹尼尔·斯特罗洛 1 克里斯蒂安·普什 1 弗朗西斯科·蒂埃齐 1 埃米利奥·托斯托 1 Wells,Joe B。 1 Yi,Kwangkeun 1 张敏 1 埃琳娜·祖卡 全部的 前5名12篇连载文章中引用 4 理论计算机科学 三 信息与计算 2 信息学报 1 信息科学 1 符号计算杂志 1 新一代计算 1 MSCS公司。计算机科学中的数学结构 1 分布式计算 1 函数编程杂志 1 数学与人工智能年鉴 1 高阶与符号计算 1 程序设计中的逻辑与代数方法杂志 在2个字段中引用 25 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文