×
作者ID: 雷米·迪迪尔“Rémy,Didier”最近发表的zbMATH文章
发布日期: 雷米,迪迪埃;迪迪埃·雷米;雷米,D。
已编制索引的文档: 27出版物自1993年起
合著者: 18位合著者具有22联合出版物
363名合作作者

按年份列出的出版物

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位作者

按年份列出的引文