Pierre-Évariste Dagand
发表
Victor Cacciari Miraldo,
Pierre-Évariste Dagand,
Wouter Swierstra,
2017,
TyDe@ICFP.
Pierre-Évariste Dagand,
Gautier Berthou,
Delphine Demange,
2020,
LCTES.
Pierre-Évariste Dagand,
Pierre-Évariste Dagand,
2013
.
Nicolas Tabareau,
Éric Tanter,
Pierre-Évariste Dagand,
2016,
ICFP.
Karine Heydemann,
Patrick Schaumont,
Pierre-Évariste Dagand,
2020,
IACR Cryptol. ePrint Arch..
Julia L. Lawall,
Pierre-Évariste Dagand,
Arthur Blot,
2016,
FLOPS.
Juan Chen,
Benjamin Livshits,
Pierre-Yves Strub,
2013,
POPL.
Pierre-Évariste Dagand,
Pierre-Évariste Dagand,
2017,
Journal of Functional Programming.
Timothy Bourke,
Marc Pouzet,
Xavier Leroy,
2017,
PLDI.
Conor McBride,
Pierre-Évariste Dagand,
Pierre-Évariste Dagand,
2012,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Pierre-Évariste Dagand,
Darius Mercadier,
2019
.
Pierre-Évariste Dagand,
Darius Mercadier,
Pierre-Évariste Dagand,
2019,
PLDI.
Timothy Roscoe,
Andrew Baumann,
Pierre-Évariste Dagand,
2009,
PLOS '09.
Nicolas Tabareau,
Éric Tanter,
Pierre-Évariste Dagand,
2018,
Journal of Functional Programming.
Didier Rémy,
Pierre-Évariste Dagand,
Thomas Williams,
2014,
WGP '14.
Adrian Schüpbach,
Timothy Roscoe,
Andrew Baumann,
2009,
SOSP '09.
Peter Morris,
Conor McBride,
Pierre-Évariste Dagand,
2010,
ICFP '10.
Conor McBride,
Pierre-Évariste Dagand,
2012,
ICFP '12.
Viktor Kuncak,
Pierre-Évariste Dagand,
Dejan Kostic,
2009,
TLDI '09.
Lionel Lacassagne,
Pierre-Évariste Dagand,
Gilles Muller,
2018,
WPMVP@PPoPP.
Pierre-Évariste Dagand,
Gabriel Scherer,
Lionel Rieg,
2019,
ArXiv.
Conor McBride,
Pierre-Évariste Dagand,
2014,
J. Funct. Program..
Nick Benton,
Andrew Kennedy,
Pierre-Évariste Dagand,
2013,
PPDP.
Conor McBride,
Pierre-Évariste Dagand,
2012,
ArXiv.
Pierre-Évariste Dagand,
Pierre Nigron,
Pierre-Évariste Dagand,
2021,
ITP.
Pierre-Évariste Dagand,
Sonia Belaïd,
Matthieu Rivain,
2020,
EUROCRYPT.