编辑配置文件(在新选项卡中打开) 雷米,迪迪埃 合著者距离 作者ID: 雷米·迪迪尔 发布日期: 雷米,迪迪埃;迪迪埃·雷米;雷米,D。 更多。。。较少的 已编制索引的文档: 27出版物自1993年起 合著者: 18位合著者具有22联合出版物 363名合作作者 全部的 前5名合著者 4 单作者的 4 塞德里克·Fornet 4 吕克·马兰吉特 三 雅克·加里格 三 科西莫·拉内夫 三 加布里埃尔·谢勒 三 鲍里斯·亚科博夫斯基 2 朱利安·克雷丁 2 迪迪埃·勒·波特兰 2 本杰明·皮尔斯。 1 马丁·阿巴迪 1 南卡罗来纳州贝纳马拉。 1 卢卡·卡德利 1 Frank Delaplace公司 1 罗伯托·迪·科斯莫 1 丹尼斯·弗利克 1 乔治·戈蒂尔 1 O.拉盖尔。 1 珍妮·雅克·利维 1 贝诺·蒙塔古 1 弗朗索瓦·波蒂埃 1 戴维·特纳(David N.Turner)。 全部的 前5名系列 2 信息与计算 1 国际传热传质杂志 1 理论计算机科学 1 函数编程杂志 1 RIMS Kokyuroku公司 1 逻辑与代数程序设计杂志 字段 26 计算机科学(68-XX) 9 数学逻辑和基础(03-XX) 1 流体力学(76-XX) 1 经典热力学,传热(80-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 24出版物有被引用98中的次80文件 引用人▼ 年份▼ 移动代理的微积分。 兹比尔1514.68166 塞德里克·Fornet;乔治·戈蒂尔;珍妮·雅克·利维;吕克·马兰吉特;雷米,迪迪埃 25 1996 多态语言中的动态类型。 Zbl 0819.68142号 马丁·阿巴迪;卢卡·卡德利;B.皮尔斯。;雷米,D。 12 1995 \(\mathrm{ML}^{\mathrm{F}}\):将ML提升到系统F的幂。 Zbl 1315.68051号 迪迪埃·勒·波特兰;雷米,迪迪埃 8 2003 连接演算中的继承。 Zbl 1035.03011号 塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米,迪迪埃 7 2003 免费输入记录串联。 Zbl 0837.68058号 雷米,迪迪埃 5 1994 ML的半显式一级多态性。 Zbl 1045.68526号 雅克·加里格;雷米,迪迪埃 4 1999 一种基于pi-calculus的类型化高阶程序设计语言。 Zbl 0939.68569号 本杰明·皮尔斯。;雷米,迪迪埃;戴维·特纳(David N.Turner)。 4 1993 子类型递归类型模关联交换乘积。 Zbl 1114.68029号 罗伯托·迪·科斯莫;弗朗索瓦·波蒂埃;雷米,迪迪埃 4 2005 用ML-ART编程对象。用抽象和记录扩展ML。 Zbl 0942.68536号 雷米,迪迪埃 三 1994 重播ML\(^{\text F}\)。 Zbl 1167.68014号 迪迪埃·勒·波特兰;雷米,迪迪埃 三 2009 联合演算的隐式类型a la ML。 兹比尔1512.68057 塞德里克·Fornet;吕克·马兰吉特;科西莫·拉内夫;雷米,迪迪埃 三 1997 从ML到\(\text{ML}^{text{F}}\):具有有效类型推断的图形类型约束。 Zbl 1323.68151号 雷米,迪迪埃;鲍里斯·亚科博夫斯基 三 2008 在具有开放存在类型的模块中建模抽象类型。 Zbl 1315.68103号 贝诺·蒙塔古;雷米,迪迪埃 三 2009 用半显式高阶多态性扩展ML。 Zbl 0885.03032号 雅克·加里格;雷米,迪迪埃 2 1997 在荒谬面前完全还原。 Zbl 1335.68065号 加布里埃尔·谢勒;雷米,迪迪埃 2 2015 哪些简单类型有独特的居民? Zbl 1360.68341号 加布里埃尔·谢勒;雷米,迪迪埃 2 2015 ML(^{text{F}})的教堂式中间语言。 Zbl 1284.68136号 雷米,迪迪埃;鲍里斯·亚科博夫斯基 2 2010 具有强制约束的系统F。 Zbl 1394.03025号 朱利安·克雷丁;雷米,迪迪埃 1 2014 连接演算中的继承(扩展抽象)。 Zbl 1044.68684号 塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米,迪迪埃 1 2000 使用、理解和解开OCaml语言。从实践到理论,反之亦然。 Zbl 1065.68028号 雷米,迪迪埃 1 2002 使用GADT进行主体类型推理的歧义类型。 Zbl 1426.68046号 雅克·加里格;雷米,迪迪埃 1 2013 GADT满足子类型。 Zbl 1381.68060号 加布里埃尔·谢勒;雷米,迪迪埃 1 2013 关于强制的权力抽象。 Zbl 1321.68145号 朱利安·克雷丁;雷米,迪迪埃 1 2012 在充满固体障碍物的空腔中,通过自然对流进行热湿传递的实验和数值研究。 Zbl 1177.80032号 O.拉盖尔。;南卡罗来纳州贝纳马拉。;D.雷米。;D.弗利克。 1 2009 在荒谬面前完全还原。 Zbl 1335.68065号 加布里埃尔·谢勒;雷米,迪迪埃 2 2015 哪些简单类型有独特的居民? Zbl 1360.68341号 加布里埃尔·谢勒;雷米,迪迪埃 2 2015 具有强制约束的系统F。 Zbl 1394.03025号 朱利安·克雷丁;雷米,迪迪埃 1 2014 使用GADT进行主体类型推理的类型不明确。 Zbl 1426.68046号 雅克·加里格;雷米,迪迪埃 1 2013 GADT满足子类型。 Zbl 1381.68060号 加布里埃尔·谢勒;雷米,迪迪埃 1 2013 关于强制抽象的力量。 Zbl 1321.68145号 朱利安·克雷廷;雷米,迪迪埃 1 2012 ML(^{text{F}})的教堂式中间语言。 Zbl 1284.68136号 雷米,迪迪埃;鲍里斯·亚科博夫斯基 2 2010 重播ML\(^{\text F}\)。 兹比尔1167.68014 迪迪埃·勒·波特兰;雷米,迪迪埃 三 2009 使用开放存在类型在模块中建模抽象类型。 Zbl 1315.68103号 贝诺·蒙塔古;雷米,迪迪埃 三 2009 在充满固体障碍物的空腔中,通过自然对流进行热湿传递的实验和数值研究。 Zbl 1177.80032号 O.拉盖尔。;南卡罗来纳州贝纳马拉。;D.雷米。;D.弗利克。 1 2009 从ML到\(\text{ML}^{text{F}}\):具有有效类型推断的图形类型约束。 Zbl 1323.68151号 雷米,迪迪埃;鲍里斯·亚科博夫斯基 三 2008 子类型递归类型模结合交换乘积。 Zbl 1114.68029号 罗伯托·迪·科斯莫;弗朗索瓦·波蒂埃;雷米,迪迪埃 4 2005 \(\mathrm{ML}^{\mathrm{F}}\):将ML提升到系统F的幂。 Zbl 1315.68051号 迪迪埃·勒·波特兰;雷米,迪迪埃 8 2003 连接演算中的继承。 Zbl 1035.03011号 塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米,迪迪埃 7 2003 使用、理解和解开OCaml语言。从实践到理论,反之亦然。 兹比尔1065.68028 雷米,迪迪埃 1 2002 连接演算中的继承(扩展抽象)。 Zbl 1044.68684号 塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米,迪迪埃 1 2000 ML的半显式一级多态性。 兹比尔1045.68526 雅克·加里格;雷米,迪迪埃 4 1999 联合演算的隐式类型a la ML。 Zbl 1512.68057号 塞德里克·Fornet;吕克·马兰吉特;科西莫·拉内夫;雷米,迪迪埃 三 1997 用半显式高阶多态性扩展ML。 Zbl 0885.03032号 雅克·加里格;雷米,迪迪埃 2 1997 移动代理的微积分。 Zbl 1514.68166号 塞德里克·Fornet;乔治·戈蒂尔;珍妮·雅克·利维;吕克·马兰吉特;雷米,迪迪埃 25 1996 多态语言中的动态类型。 Zbl 0819.68142号 马丁·阿巴迪;卢卡·卡德利;B.皮尔斯。;雷米,D。 12 1995 免费输入记录串联。 Zbl 0837.68058号 雷米,迪迪埃 5 1994 用ML-ART编程对象。用抽象和记录扩展ML。 Zbl 0942.68536号 雷米,迪迪埃 三 1994 一种基于pi-calculus的类型化高阶程序设计语言。 Zbl 0939.68569号 本杰明·皮尔斯。;雷米,迪迪埃;戴维·特纳(David N.Turner)。 4 1993 所有引用出版物 排名前五的出版物 全部的 前5名158位作者引用 5 罗萨里奥·普格利泽 4 雅克·加里格 4 拉尔夫·拉梅尔 4 雷米,迪迪埃 三 爱德华多·博内利 三 洛科·德尼古拉 三 轩尼诗,Matthew C.B。 三 安德烈斯·维索 2 毛里西奥·阿亚拉·林科恩 2 米歇尔·博雷尔 2 皮耶保罗·德加诺 2 约翰·多夫兰 2 胡安·埃迪 2 理查德·艾森伯格。 2 吉安·路易吉,法拉利 2 本田、高黑 2 埃纳尔·布罗赫·约翰森 2 布鲁诺·C·d·S·奥利维拉。 2 Owe、Olaf 2 西蒙·琼斯(Simon L.Peyton Jones)。 2 科拉多·普里亚米 2 詹姆斯·里利 2 安德烈亚斯·罗斯伯格 2 马丁·斯特芬 2 贝蒂·文内里 2 斯蒂芬妮,威里奇 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 弗兰兹·阿赫尔曼 1 彼得·阿奇顿 1 Joao Alpuim 1 罗伯特·阿马迪奥(Roberto M.Amadio)。 1 阿明,纳达 1 保罗·C·阿蒂。 1 吉尔·巴特 1 马丁·伯杰(Martin J.Berger)。 1 洛伦佐·贝蒂尼 1 菲利普·比丁格 1 劳拉·博奇 1 博迪,恰拉 1 维维亚娜·博诺 1 伊贡博格尔 1 约阿希姆·布雷特纳 1 罗伯托·布鲁尼 1 朱塞佩·卡斯塔尼亚 1 佛罗伦萨雪佛龙 1 安东尼奥·西斯特尼诺 1 兰斯·克莱维兰 1 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。 1 洛朗·达米 1 邓雨欣 1 Dhamdhere,Dhananjay M。 1 德里克·德雷尔(Derek R.Dreyer)。 1 杜文杰 1 多米尼克·达根 1 塞德里克·Fornet 1 傅玉玺 1 藤田,健毅 1 加西亚·佩雷斯·斯科菲尔德,J.巴尔塔萨尔 1 阿尔瓦罗·加西亚·佩雷斯 1 马尼什·戈尔 1 文森佐·格瓦西 1 西尔维娅·吉勒赞 1 卡罗尔·戈布尔 1 乔治·戈蒂尔 1 丹尼尔·戈拉 1 塞缪尔·格吕特 1 约翰·哈特克利夫 1 希德斯,简 1 胡雷蒙德 1 奥雷利·胡罗 1 沙迦·伊扎基 1 斯维特拉纳·雅克西奇 1 Alan S.A.杰弗里。 1 Yukiyoshi县Kameyama 1 米卡埃尔·克勒布·乌夫 1 Khedker,Uday P。 1 奥列格·基塞利约夫 1 彼得·科普曼 1 迪米特里奥斯·库扎帕斯 1 朱利安·兰格 1 迪迪埃·勒·波特兰 1 马丁·伦伯格 1 安德鲁·卢姆斯代恩 1 杰拉尔德·吕特根 1 南希·安·林奇 1 朱利奥·曼佐内托 1 科尔·马丁罗西安 1 拉尔夫·马修斯 1 保罗·米歇尔 1 乌戈·蒙塔纳里。 1 黑山,曼努埃尔 1 马可·T·莫拉赞。 1 阿兰·迈克罗夫特 1 中田庆子 1 格奥尔格·奈斯 1 乌韦·内斯特曼 1 R.D.尼古拉。 1 弗莱明·尼尔森 1 奥斯卡·M·尼尔斯特拉斯。 1 巴勃罗·诺盖拉 …还有58位作者 全部的 前5名15篇连载文章中引用 18 理论计算机科学 10 信息与计算 5 函数编程杂志 4 逻辑与代数程序设计杂志 三 计算机与系统科学杂志 三 计算机程序设计科学 三 MSCS公司。计算机科学中的数学结构 2 高阶和符号计算 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 计算的形式方面 1 分布式计算 1 应用非经典逻辑杂志 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 在3个字段中引用 78 计算机科学(68-XX) 12 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文