Didier Rémy

发表

Damien Doligez, Didier Rémy, Xavier Leroy, 2002 .
Didier Rémy, Jacques Garrigue, 2013, APLAS.
Didier Rémy, Didier Le Botlan, Didier Rémy, 2009, Inf. Comput..
Kim B. Bruce, Didier Rémy, 2002 .
Didier Rémy, Didier Rémy, 1992, POPL '92.
Didier Rémy, Xavier Leroy, 2010 .
Didier Rémy, Didier Le Botlan, 2003, ICFP '03.
Damien Doligez, Didier Rémy, Xavier Leroy, 2013 .
Didier Rémy, Benoît Montagu, 2009, POPL '09.
Didier Rémy, Jérôme Vouillon, Jérôme Vouillon, 1998, Theory Pract. Object Syst..
Arthur Charguéraud, Didier Rémy, Yann Régis-Gianas, 2005 .
Benjamin C. Pierce, Didier Rémy, David N. Turner, 1993 .
Roberto Di Cosmo, Didier Rémy, François Pottier, 2005, TLCA.
Didier Rémy, Didier Le Botlan, 2003, ACM SIGPLAN Notices.
Didier Rémy, Thomas Williams, 2018, Proc. ACM Program. Lang..
Didier Rémy, Carl A. Gunter, Jon G. Riecke, 1995, FPCA '95.
Cosimo Laneve, Didier Rémy, Cédric Fournet, 2003, J. Log. Algebraic Methods Program..
Didier Rémy, Gabriel Scherer, 2013, ESOP.
Didier Rémy, Jacques Garrigue, Jacques Garrigue, 1999, Inf. Comput..
Didier Rémy, Julien Cretin, 2012, POPL '12.
Jérôme Jaffré, Roberto Di Cosmo, Didier Rémy, 2002 .
Jean-Jacques Lévy, Didier Rémy, Cédric Fournet, 1996, CONCUR.
Didier Rémy, Gabriel Scherer, 2012, ArXiv.
Didier Rémy, Jonathan Protzenko, Thibaut Balabonski, 2015 .
Didier Rémy, Pierre-Évariste Dagand, Thomas Williams, 2014, WGP '14.
Didier Rémy, Boris Yakobowski, 2012, Theor. Comput. Sci..
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, 1995, Journal of Functional Programming.
Didier Rémy, Jérôme Vouillon, 1997, POPL '97.
Didier Rémy, Boris Yakobowski, 2010, FLOPS.
Didier Rémy, Didier Rémy, 1992, LFP '92.
Kim B. Bruce, Didier Rémy, 2002, Inf. Comput..
Didier Rémy, Gabriel Scherer, 2015, ICFP.
Cosimo Laneve, Didier Rémy, Cédric Fournet, 1997, CONCUR.
Didier Rémy, Gabriel Scherer, 2015, ESOP.
Cosimo Laneve, Didier Rémy, Cédric Fournet, 2000, J. Log. Algebraic Methods Program..
Didier Rémy, Keiko Nakata, Benoît Montagu, 2008 .
Didier Rémy, Jacques Garrigue, 1997, TACS.
Damien Doligez, Didier Rémy, Zaynah Dargaye, 2006 .
Didier Rémy, Julien Cretin, 2014, CSL-LICS.
Didier Rémy, 1998, ESOP.
Didier Rémy, Jacques Garrigue, 2012 .
Didier Rémy, Didier Rémy, 1989, POPL '89.
Didier Rémy, Didier Le Botlan, 2007 .