Vincent Balat

发表

Reiner Hähnle, Richard Bubel, Séverine Maingaud, 2010, FoVeOOS.
Olivier Danvy, Vincent Balat, O. Danvy, 2002, GPCE.
Jérôme Vouillon, Boris Yakobowski, Vincent Balat, 2009, ICFP.
Jérôme Vouillon, Vincent Balat, Gabriel Radanne, 2019, ArXiv.
Roberto Di Cosmo, Marcelo P. Fiore, Vincent Balat, 2006, Ann. Pure Appl. Log..
Jérôme Vouillon, Vasilis Papavasileiou, Vincent Balat, 2016, IFL 2016.
Roberto Di Cosmo, Marcelo P. Fiore, Vincent Balat, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Emmanuel Chailloux, Benjamin Canou, Vincent Balat, 2008, ML '08.
Jérôme Vouillon, Vincent Balat, Jérôme Vouillon, 2014, Softw. Pract. Exp..
Olivier Danvy, Vincent Balat, 1998, Types in Compilation.
Emmanuel Chailloux, Benjamin Canou, Vincent Balat, 2013, PADL.
Vincent Balat, 2013, WWW '13 Companion.
Jérôme Vouillon, Vincent Balat, Gabriel Radanne, 2016, APLAS.
Vincent Balat, V. Balat, 2006, ML '06.
Roberto Di Cosmo, Vincent Balat, 1999, CSL.
Olivier Danvy, Vincent Balat, 2002 .
Pierre Chambart, Vincent Balat, Grégoire Henry, 2012 .
Didier Galmiche, Vincent Balat, 2000 .
Vincent Balat, V. Balat, 2004 .