François Pottier
发表
Christian Skalka,
François Pottier,
2002,
Electron. Notes Theor. Comput. Sci..
Pierre Courtieu,
Xavier Leroy,
Jacques-Henri Jourdan,
2011
.
Hongseok Yang,
Lars Birkedal,
Jan Schwinghammer,
2010,
FoSSaCS.
Arthur Charguéraud,
François Pottier,
Armaël Guéneau,
2018,
ESOP.
François Pottier,
Glen Mével,
Jacques-Henri Jourdan,
2020,
Proc. ACM Program. Lang..
Sylvain Conchon,
François Pottier,
S. Conchon,
2001,
ESOP.
Scott F. Smith,
Christian Skalka,
François Pottier,
2001,
TOPL.
François Pottier,
2001
.
Yann Régis-Gianas,
François Pottier,
F. Pottier,
2015
.
François Pottier,
Nadji Gauthier,
2004,
ICFP '04.
François Pottier,
F. Pottier,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
François Pottier,
Paulo Emílio de Vilhena,
2021,
Proc. ACM Program. Lang..
Yann Régis-Gianas,
François Pottier,
F. Pottier,
2008,
MPC.
François Pottier,
2017,
Proc. ACM Program. Lang..
Jonathan Protzenko,
François Pottier,
F. Pottier,
2015,
SNAPL.
Arthur Charguéraud,
Jacques-Henri Jourdan,
François Pottier,
2019,
ITP.
Andrew Kennedy,
François Pottier,
2006,
ICFP 2006.
Arthur Charguéraud,
Didier Rémy,
Yann Régis-Gianas,
2005
.
François Pottier,
F. Pottier,
2011,
POPL '11.
Jonathan Protzenko,
François Pottier,
Armaël Guéneau,
2013,
ArXiv.
Roberto Di Cosmo,
Didier Rémy,
François Pottier,
2005,
TLCA.
François Pottier,
Nadji Gauthier,
F. Pottier,
2004,
POPL.
François Pottier,
F. Pottier,
1998
.
François Pottier,
F. Pottier,
2014,
ICFP 2014.
François Pottier,
2016
.
François Pottier,
2002,
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
François Pottier,
Nicolas Pouillard,
2012,
J. Funct. Program..
George C. Necula,
François Pottier,
2007
.
François Pottier,
F. Pottier,
2001,
Inf. Comput..
François Pottier,
F. Pottier,
2013,
J. Funct. Program..
Scott F. Smith,
Christian Skalka,
François Pottier,
2001,
ESOP.
Yann Régis-Gianas,
François Pottier,
2006,
Electron. Notes Theor. Comput. Sci..
Arthur Charguéraud,
François Pottier,
2015,
ITP.
François Pottier,
F. Pottier,
2000,
Nord. J. Comput..
Didier Rémy,
Jonathan Protzenko,
Thibaut Balabonski,
2015
.
Arthur Charguéraud,
François Pottier,
2017,
ESOP.
Yann Régis-Gianas,
François Pottier,
F. Pottier,
2006,
POPL '06.
Arthur Charguéraud,
François Pottier,
F. Pottier,
2008
.
François Pottier,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Stephan Merz,
Leslie Lamport,
Arthur Charguéraud,
2007
.
François Pottier,
2005,
ICFP '05.
Jonathan Protzenko,
François Pottier,
2012
.
François Pottier,
Vincent Simonet,
F. Pottier,
2002,
POPL '02.
François Pottier,
Alexandre Pilkiewicz,
Alexandre Pilkiewicz,
2011,
TLDI '11.
Sylvain Conchon,
François Pottier,
S. Conchon,
2000,
ICFP '00.
Damien Doligez,
Pierre Weis,
Alain Frisch,
2005
.
Arthur Charguéraud,
François Pottier,
2008,
ICFP 2008.
François Pottier,
F. Pottier,
2017,
CPP.
François Pottier,
F. Pottier,
2000,
ESOP.
François Pottier,
Vincent Simonet,
F. Pottier,
2003,
TOPL.
Xavier Leroy,
Jacques-Henri Jourdan,
François Pottier,
2012,
ESOP.
François Pottier,
F. Pottier,
2016,
CC.
François Pottier,
Nadji Gauthier,
F. Pottier,
2006,
High. Order Symb. Comput..
François Pottier,
Nicolas Pouillard,
F. Pottier,
2010,
ICFP '10.
Jonathan Protzenko,
Thibaut Balabonski,
François Pottier,
2016,
ACM Trans. Program. Lang. Syst..
Hongseok Yang,
Lars Birkedal,
Jan Schwinghammer,
2013,
Math. Struct. Comput. Sci..
Stephan Merz,
Sébastien Tixeuil,
Leslie Lamport,
2013
.
Damien Doligez,
Didier Rémy,
Zaynah Dargaye,
2006
.
François Pottier,
F. Pottier,
1996,
ICFP '96.
Jacques-Henri Jourdan,
François Pottier,
F. Pottier,
2017,
ACM Trans. Program. Lang. Syst..
Jean-Christophe Filliâtre,
François Pottier,
J. Filliâtre,
2003,
Journal of Functional Programming.
François Pottier,
Vincent Simonet,
F. Pottier,
2007,
TOPL.
Pierre Chambart,
Damien Doligez,
Yann Régis-Gianas,
2015
.
François Pottier,
2006,
Electron. Notes Theor. Comput. Sci..
Jacques-Henri Jourdan,
François Pottier,
Glen Mével,
2019,
ESOP.
Arthur Charguéraud,
François Pottier,
2017,
Journal of Automated Reasoning.
François Pottier,
F. Pottier,
1998,
ICFP '98.
François Pottier,
Glen Mével,
Jacques-Henri Jourdan,
2020,
Proc. ACM Program. Lang..
Jonathan Protzenko,
Thibaut Balabonski,
François Pottier,
2014,
FLOPS.
Jacques-Henri Jourdan,
François Pottier,
Paulo Emílio de Vilhena,
2019,
Proc. ACM Program. Lang..
Arthur Charguéraud,
Jean-Christophe Filliâtre,
François Pottier,
2017
.
Arthur Charguéraud,
François Pottier,
Alexandre Moine,
2022,
CPP.
François Pottier,
Frédéric Bour,
F. Pottier,
2021,
SLE.
François Pottier,
2013
.
François Pottier,
2009
.
François Pottier,
F. Pottier,
Fran ois.Pottier,
2020,
Encyclopedia of Creativity, Invention, Innovation and Entrepreneurship.
François Pottier,
2015
.
François Pottier,
Vincent Simonet,
2005
.
François Pottier,
2009
.