Jérôme Vouillon

发表

Roberto Di Cosmo, Jérôme Vouillon, Jérôme Vouillon, 2013, TSEM.
Jérôme Vouillon, Boris Yakobowski, Vincent Balat, 2009, ICFP.
Benjamin C. Pierce, Haruo Hosoya, Jérôme Vouillon, 2000, TOPL.
Roberto Di Cosmo, Pietro Abate, Ralf Treinen, 2011 .
Damien Doligez, Didier Rémy, Xavier Leroy, 2013 .
Benjamin C. Pierce, Jérôme Vouillon, B. Pierce, 2001, TACS.
Jérôme Vouillon, 2006, PLAN-X.
Roberto Di Cosmo, Xavier Leroy, Fabio Mancinelli, 2006 .
Jérôme Vouillon, Vincent Balat, Gabriel Radanne, 2019, ArXiv.
Jérôme Vouillon, Vasilis Papavasileiou, Vincent Balat, 2016, IFL 2016.
Emmanuel Chailloux, Jérôme Vouillon, Benjamin Canou, 2012, WWW 2012.
Roberto Di Cosmo, Fabio Mancinelli, Jérôme Vouillon, 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.
Didier Rémy, Jérôme Vouillon, Jérôme Vouillon, 1998, Theory Pract. Object Syst..
Jérôme Vouillon, 2004, CSL.
Jérôme Vouillon, Paul-André Melliès, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Roberto Di Cosmo, Jérôme Vouillon, Jérôme Vouillon, 2011, ESEC/FSE '11.
Jérôme Vouillon, Vincent Balat, Jérôme Vouillon, 2014, Softw. Pract. Exp..
Jérôme Vouillon, Gabriel Radanne, Jérôme Vouillon, 2018, WWW.
Roberto Di Cosmo, Jérôme Vouillon, Jérôme Vouillon, 2013, 2013 35th International Conference on Software Engineering (ICSE).
Benjamin C. Pierce, Jérôme Vouillon, B. Pierce, 2002 .
Tom Mens, Maëlick Claes, Roberto Di Cosmo, 2015, 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories.
Roberto Di Cosmo, Xavier Leroy, Ralf Treinen, 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
Roberto Di Cosmo, Jérôme Vouillon, Mehdi Dogguy, 2014, ICSE.
Didier Rémy, Jérôme Vouillon, 1997, POPL '97.
Andrew W. Appel, Jérôme Vouillon, Christopher D. Richards, 2007, POPL '07.
Jérôme Vouillon, Jérôme Vouillon, 2008, ML '08.
Jérôme Vouillon, Vincent Balat, Gabriel Radanne, 2016, APLAS.
Jérôme Vouillon, 2011, Journal of Automated Reasoning.
Jérôme Vouillon, Paul-André Melliès, 2004, POPL '04.
Benjamin C. Pierce, Haruo Hosoya, Jérôme Vouillon, 2005, ACM Trans. Program. Lang. Syst..
Avik Chaudhuri, Roberto Di Cosmo, Jérôme Vouillon, 2002 .
Roberto Di Cosmo, Jérôme Vouillon, 2011 .
Roberto Di Cosmo, Xavier Leroy, Fabio Mancinelli, 2006 .
Jérôme Vouillon, 2006, POPL '06.
Damien Doligez, Xavier Leroy, Jacques Garrigue, 2002 .