Vincent Simonet

发表

Vincent Simonet, 2013, WWW '13 Companion.
Vincent Simonet, 2003 .
Vincent Simonet, Vincent Simonet, 2003, ICFP '03.
Damien Doligez, Xavier Leroy, Jacques Garrigue, 2003 .
François Pottier, Vincent Simonet, F. Pottier, 2002, POPL '02.
François Pottier, Vincent Simonet, F. Pottier, 2003, TOPL.
Vincent Simonet, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
François Pottier, Vincent Simonet, F. Pottier, 2007, TOPL.
Vincent Simonet, 2003 .