×

找到22个文档（结果1-22）

最新的 引文 相关性
加布里埃尔·谢勒;雷米，迪迪埃

哪些简单类型有独特的居民？ （英语） Zbl 1360.68341号

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。243-255 (2015).
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Scherer}和\textit{D.Rémy}，摘自：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。243-255（2015；Zbl 1360.68341）
全文： 内政部 哈尔
加布里埃尔·谢勒;雷米，迪迪埃

在荒谬面前完全还原。 （英语） 兹比尔1335.68065

Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032685-709（2015）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{G.Scherer}和\textit{D.Rémy}，莱克特。注释计算。科学。9032、685--709（2015年；Zbl 1335.68065）
全文： 内政部
朱利安·克雷丁;雷米，迪迪埃

具有强制约束的系统F。 （英语） Zbl 1394.03025号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第34号论文，第10页（2014年）。
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.Cretin}和\textit{D.Rémy}，in：第二十三届EACSL计算机科学逻辑年会联合会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，2014年7月14日至18日，奥地利维也纳，LICS 2014。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第34号论文，第10页（2014；Zbl 1394.03025）
全文： 内政部 哈尔
雅克·加里格;雷米，迪迪埃

使用GADT进行主体类型推理的类型不明确。 （英语） Zbl 1426.68046号

Shan，Chung-chieh（编辑），《编程语言和系统》。第十一届亚洲研讨会，2013年APLAS，澳大利亚维多利亚州墨尔本，2013年12月9-11日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8301, 257-272 (2013).
MSC公司：68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Garrigue}和\textit{D.Rémy}，莱克特。注释计算。科学。8301257--272（2013；Zbl 1426.68046）
全文： 内政部 哈尔
加布里埃尔·谢勒;雷米，迪迪埃

GADT满足子类型。 （英语） Zbl 1381.68060号

Felleisen，Matthias（编辑）等人，《编程语言和系统》。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37035-9/pbk）。计算机科学课堂讲稿7792554-573（2013）。
MSC公司：68号30 68甲18 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{G.Scherer}和\textit{D.Rémy}，莱克特。注释计算。科学。7792、554--573（2013年；Zbl 1381.68060）
全文： 内政部 arXiv公司
朱利安·克雷丁;雷米，迪迪埃

关于强制抽象的力量。 （英语） Zbl 1321.68145号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。361-372 (2012).
MSC公司：68甲18 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Cretin}和\textit{D.Rémy}，摘自：第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。361--372（2012年；Zbl 1321.68145）
全文： 内政部 链接
雷米，迪迪埃;鲍里斯·亚科博夫斯基

ML（^{text{F}}）的教堂式中间语言。 （英语） Zbl 1284.68136号

Blume，Matthias（编辑）等人，《函数和逻辑编程》。2010年4月19日至21日，第十届国际研讨会，FLOPS 2010，日本仙台。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12250-7/pbk）。计算机科学讲稿6009，24-39（2010）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.Rémy}和\textit{B.Yakobowski}，莱克特。注释计算。科学。6009，24-39（2010；Zbl 1284.68136）
全文： 内政部
贝诺·蒙塔古;雷米，迪迪埃

使用开放存在类型在模块中建模抽象类型。 （英语） Zbl 1315.68103号

2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。354-365 (2009).
MSC公司：68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{B.Montagu}和\textit{D.Rémy}，摘自：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。354--365（2009年；Zbl 1315.68103）
全文： 内政部
雷米，迪迪埃;鲍里斯·亚科博夫斯基

从ML到\（\text{ML}^{text{F}}\）：具有有效类型推断的图形类型约束。 （英语） Zbl 1323.68151号

2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN Notices 43，No.9，63-74（2008）。
MSC公司：68甲18 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Rémy}和\textit{B.Yakobowski}，摘自：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20日至28日。纽约州纽约市：计算机协会（ACM）。63-74（2008年；Zbl 1323.68151）
全文： 内政部
罗伯托·迪·科斯莫;弗朗索瓦·波蒂埃;雷米，迪迪埃

子类型递归类型模关联交换乘积。 （英语） Zbl 1114.68029号

Urzyczyn，Paweł（编辑），《lambda计算类型和应用》。2005年4月21日至23日在日本奈良举行的2005年TLCA第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25593-1/pbk）。计算机科学课堂讲稿3461179-193（2005）。
MSC公司：68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{R.Di Cosmo}等人，Lect。注释计算。科学。3461179--193（2005年；Zbl 1114.68029）
全文： 内政部
迪迪埃·勒·波特兰;雷米，迪迪埃

\（\mathrm{ML}^{\mathrm{F}}\）：将ML提升到系统F的幂。 （英语） Zbl 1315.68051号

第八届ACM SIGPLAN功能编程国际会议论文集，ICFP'03，瑞典乌普萨拉，2003年8月25日至29日。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-756-7）。ACM SIGPLAN通知38，第9号，27-38（2003）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.Le Botlan}和\textit{D.Rémy}，in：第八届ACM SIGPLAN函数编程国际会议论文集，ICFP'03，乌普萨拉，瑞典，2003年8月25-29日。纽约州纽约市：计算机协会（ACM）。27-38（2003年；Zbl 1315.68051）
全文： 内政部
塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米，迪迪埃

连接演算中的继承（扩展抽象）。 （英语） Zbl 1044.68684号

Kapoor，Sanjiv（编辑）等人，FST TCS 2000：软件技术和理论计算机科学基础。第20届会议，印度新德里，2000年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41413-4）。勒克特。注释计算。科学。1974, 397-408 (2000).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Fournet}等人，Lect。注释计算。科学。1974年，397--408（2000年；Zbl 1044.68684）
全文： 链接
弗兰克·德拉Place;迪迪埃·雷米

PARADEIS：用于并行稀疏数组计算的对象库。 （英语） Zbl 0932.68019号

Zinterhof，Peter（编辑）等人，《并行计算》。第四届国际ACPC会议，包括关于并行数字（ParNum’99）和图像处理、视频处理和多媒体并行计算的专题。奥地利萨尔茨堡，1999年2月16日至18日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1557, 153-162 (1999).
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{F.Delaplace}和\textit{D.Remy}，莱克特。注释计算。科学。1557153-162（1999年；Zbl 0932.68019）
塞德里克·Fornet;吕克·马兰吉特;科西莫·拉内夫;雷米，迪迪埃

联合演算的隐式类型a la ML。 （英语） Zbl 1512.68057号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1243, 196-212 (1997).
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Fournet}等人，Lect。注释计算。科学。1243196-212（1997年；Zbl 1512.68057）
全文： 内政部
雅克·加里格;雷米，迪迪埃

用半显式高阶多态性扩展ML。 （英语） Zbl 0885.03032号

马丁·阿巴迪等人，《计算机软件的理论方面》。第三届国际研讨会，TACS’97。1997年9月23日至26日，日本仙台。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1281, 20-46 (1997).
MSC公司：03B70号 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{J.Garrigue}和\textit{D.Rémy}，莱克特。注释计算。科学。1281、20--46（1997；Zbl 0885.03032）
塞德里克·Fornet;乔治·戈蒂尔;珍妮·雅克·利维;吕克·马兰吉特;雷米，迪迪埃

移动代理的微积分。 （英语） Zbl 1514.68166号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1119, 406-421 (1996).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{C.Fournet}等人，Lect。注释计算。科学。1119406-421（1996年；Zbl 1514.68166）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件