Didier Rémy Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gabriel Scherer, Didier Rémy: GADTs Meet Subtyping. ESOP 2013: 554-573
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gabriel Scherer, Didier Rémy: GADTs meet subtyping. CoRR abs/1301.2903 (2013)
2012
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy, Boris Yakobowski: A church-style intermediate language for MLF. Theor. Comput. Sci. 435: 77-105 (2012)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Julien Cretin, Didier Rémy: On the power of coercion abstraction. POPL 2012: 361-372
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gabriel Scherer, Didier Rémy: GADT meet Subtyping. CoRR abs/1210.5935 (2012)
2010
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy, Boris Yakobowski: A Church-Style Intermediate Language for MLF. FLOPS 2010: 24-39
2009
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Le Botlan, Didier Rémy: Recasting MLF. Inf. Comput. 207(6): 726-785 (2009)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benoît Montagu, Didier Rémy: Modeling abstract types in modules with open existential types. POPL 2009: 354-365
2008
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy, Boris Yakobowski: From ML to MLF: graphic type constraints with efficient type inference. ICFP 2008: 63-74
2007
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy: MLF for everyone (users, implementers, and designers). ML 2007: 1-2
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy, Boris Yakobowski: A graphical presentation of MLF types with a linear-time unification algorithm. TLDI 2007: 27-38
2005
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy: Simple, partial type-inference for System F based on type-containment. ICFP 2005: 130-143
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Di Cosmo, François Pottier, Didier Rémy: Subtyping Recursive Types Modulo Associative Commutative Products. TLCA 2005: 179-193
2003
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Inheritance in the join calculus. J. Log. Algebr. Program. 57(1-2): 23-69 (2003)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Le Botlan, Didier Rémy: MLF: raising ML to the power of system F. SIGPLAN Notices 38(9): 27-38 (2003)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Le Botlan, Didier Rémy: MLF: raising ML to the power of system F. ICFP 2003: 27-38
2002
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kim B. Bruce, Didier Rémy: Guest Editorial: Foundations of Object-Oriented Languages. Inf. Comput. 172(1): 1 (2002)
2000
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy: Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. APPSEM 2000: 413-536
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Inheritance in the Join Calculus. FSTTCS 2000: 397-408
1999
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jacques Garrigue, Didier Rémy: Semi-Explicit First-Class Polymorphism for ML. Inf. Comput. 155(1-2): 134-169 (1999)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franck Delaplace, Didier Rémy: PARADEIS: An Object Library for Parallel Sparse Array Computation. ACPC 1999: 153-162
1998
j2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy, Jerome Vouillon: Objective ML: An Effective Object-Oriented Extension to ML. TAPOS 4(1): 27-50 (1998)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy: From Classes to Objects via Subtyping. ESOP 1998: 200-220
1997
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Implicit Typing à la ML for the Join-Calculus. CONCUR 1997: 196-212
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy, Jerome Vouillon: Objective ML: A Simple Object-Oriented Extension of ML. POPL 1997: 40-53
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jacques Garrigue, Didier Rémy: Extending ML with Semi-Explicit Higher-Order Polymorphism. TACS 1997: 20-46
1996
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy: A Calculus of Mobile Agents. CONCUR 1996: 406-421
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy: Synthèse de types dans les langages à objets. LMO 1996: 228-230
1995
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy: Dynamic Typing in Polymorphic Languages. J. Funct. Program. 5(1): 111-130 (1995)
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Gunter, Didier Rémy, Jon G. Riecke: A Generalization of Exceptions and Control in ML-like Languages. FPCA 1995: 12-23
1994
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy: Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types. TACS 1994: 321-346
1992
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy: Projective ML. LISP and Functional Programming 1992: 66-75
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy: Typing Record Concatenation for Free. POPL 1992: 166-176
1989
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Rémy: Typechecking Records and Variants in a Natural Extension of ML. POPL 1989: 77-88

Coauthor Index

1Martín Abadi
[j1]
2Didier Le Botlan
[j7] [j5] [c15]
3Kim B. Bruce
[j4]
4Luca Cardelli
[j1]
5Roberto Di Cosmo
[c16]
6Julien Cretin
[c23]
7Franck Delaplace
[c12]
8Cédric Fournet
[j6] [c13] [c10] [c7]
9Jacques Garrigue
[j3] [c8]
10Georges Gonthier
[c7]
11Carl A. Gunter
[c5]
12Cosimo Laneve
[j6] [c13] [c10]
13Jean-Jacques Lévy
[c7]
14Luc Maranget
[j6] [c13] [c10] [c7]
15Benoît Montagu
[c21]
16Benjamin C. Pierce
[j1]
17François Pottier
[c16]
18Jon G. Riecke
[c5]
19Gabriel Scherer
[c24] [i2] [i1]
20Jérôme Vouillon (Jerome Vouillon)
[j2] [c9]
21Boris Yakobowski
[j8] [c22] [c20] [c18]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 17:42:37 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page