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