Didier Rémy

发表

Jérôme Vouillon, Damien Doligez, X. Leroy, 2004 .
Didier Rémy, Didier Rémy, 1992, LFP '92.
Henning Fernau, Damien Doligez, X. Leroy, 1996 .
Damien Doligez, X. Leroy, Jacques Garrigue, 2022, International Journal of Materials Technology and Innovation.
Jiri Rohn, J. Rohn, Damien Doligez, 2005 .
Didier Rémy, Thomas Williams, 2014 .
Didier Rémy, Jonathan Protzenko, Thibaut Balabonski, 2015 .
Damien Doligez, Didier Rémy, Xavier Leroy, 2002 .
Jérôme Vouillon, Damien Doligez, X. Leroy, 2003 .
Didier Rémy, Keiko Nakata, Benoît Montagu, 2008 .
Inria, Didier Rémy, Julien Cretin, 2014 .
Damien Doligez, Didier Rémy, Zaynah Dargaye, 2006 .
Arthur Charguéraud, Didier Rémy, Yann Régis-Gianas, 2005 .
Didier Rémy, Didier Rémy, 1989, POPL '89.
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, 1995, Journal of Functional Programming.
Didier Rémy, Carl A. Gunter, Jon G. Riecke, 1995, FPCA '95.
Jean-Jacques Lévy, Didier Rémy, Cédric Fournet, 1996, CONCUR.
Damien Doligez, Didier Rémy, Xavier Leroy, 2013 .
Didier Rémy, Didier Rémy, 1992, POPL '92.
Cosimo Laneve, Didier Rémy, Cédric Fournet, 2000, J. Log. Algebraic Methods Program..
Didier Le Botlan, Didier Rémy, 2003, SIGP.
Didier Rémy, Didier Le Botlan, Didier Rémy, 2009, Inf. Comput..
Didier Rémy, Jacques Garrigue, Jacques Garrigue, 1999, Inf. Comput..
Didier Rémy, Jérôme Vouillon, Jérôme Vouillon, 1998, Theory Pract. Object Syst..
Cosimo Laneve, Didier Rémy, Cédric Fournet, 1997, CONCUR.