Jérôme Vouillon
发表
Benjamin C. Pierce,
Haruo Hosoya,
Jérôme Vouillon,
2000,
TOPL.
Jérôme Vouillon,
Damien Doligez,
X. Leroy,
2004
.
Benjamin C. Pierce,
Jérôme Vouillon,
B. Pierce,
2001,
TACS.
Jérôme Vouillon,
2013
.
Jérôme Vouillon,
Damien Doligez,
X. Leroy,
2003
.
Benjamin C. Pierce,
Jérôme Vouillon,
B. Pierce,
2002
.
Jérôme Vouillon,
2004
.
Jérôme Vouillon,
2013
.
Damien Doligez,
Xavier Leroy,
Jacques Garrigue,
2002
.
Jérôme Vouillon,
2012,
Journal of Automated Reasoning.
Tom Mens,
Maëlick Claes,
Roberto Di Cosmo,
2015,
2015 IEEE/ACM 12th Working Conference on Mining Software Repositories.
B. Pierce,
H. Hosoya,
Jérôme Vouillon,
2000,
ICFP '00.
Roberto Di Cosmo,
Jérôme Vouillon,
Jérôme Vouillon,
2013,
TSEM.
Jérôme Vouillon,
Vincent Balat,
Jérôme Vouillon,
2014,
Softw. Pract. Exp..
Andrew W. Appel,
Jérôme Vouillon,
Christopher D. Richards,
2007,
POPL '07.
Roberto Di Cosmo,
Jérôme Vouillon,
Jérôme Vouillon,
2011,
ESEC/FSE '11.
Roberto Di Cosmo,
Jérôme Vouillon,
Jérôme Vouillon,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Roberto Di Cosmo,
Xavier Leroy,
Ralf Treinen,
2006,
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
Damien Doligez,
Didier Rémy,
Xavier Leroy,
2013
.
Jérôme Vouillon,
Vincent Balat,
Gabriel Radanne,
2016,
APLAS.
Jérôme Vouillon,
Vincent Balat,
Gabriel Radanne,
2019,
ArXiv.
Jérôme Vouillon,
Gabriel Radanne,
Jérôme Vouillon,
2018,
WWW.
Jérôme Vouillon,
Boris Yakobowski,
Vincent Balat,
2009,
ICFP.
Jérôme Vouillon,
Jérôme Vouillon,
2008,
ML '08.
Benjamin C. Pierce,
Jérôme Vouillon,
B. Pierce,
2004
.
Jérôme Vouillon,
R. D. Cosmo,
2013,
TSEM.
Roberto Di Cosmo,
Xavier Leroy,
Fabio Mancinelli,
2006
.
Didier Rémy,
Jérôme Vouillon,
Jérôme Vouillon,
1998,
Theory Pract. Object Syst..