Yann Régis-Gianas
发表
Thibaut Girka,
David Mentré,
Yann Régis-Gianas,
2015,
ATVA.
Yann Régis-Gianas,
Guillaume Claret,
Lourdes Del Carmen González-Huesca,
2013,
ITP.
Yann Régis-Gianas,
Pierre Chifflier,
Guillaume Hiet,
2018,
FM.
Claude Marché,
Yann Régis-Gianas,
Ralf Treinen,
2020,
TACAS.
Yann Régis-Gianas,
François Pottier,
F. Pottier,
2015
.
Yann Régis-Gianas,
Guillaume Claret,
Y. Régis-Gianas,
2015,
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.
Yann Régis-Gianas,
François Pottier,
F. Pottier,
2008,
MPC.
Thibaut Girka,
David Mentré,
Yann Régis-Gianas,
2017,
PPDP.
Yann Régis-Gianas,
Pierre Chifflier,
Guillaume Hiet,
2020
.
Benjamin Grégoire,
Enrico Tassi,
Yann Régis-Gianas,
2014
.
Arthur Charguéraud,
Didier Rémy,
Yann Régis-Gianas,
2005
.
Yann Régis-Gianas,
Ralf Treinen,
Nicolas Jeannerod,
2017
.
Yann Régis-Gianas,
Yann Régis-Gianas,
2019
.
Nicholas Ayache,
Andrea Asperti,
Claudio Sacerdoti Coen,
2011,
FET.
Yann Régis-Gianas,
François Pottier,
2006,
Electron. Notes Theor. Comput. Sci..
Roberto M. Amadio,
Yann Régis-Gianas,
Nicholas Ayache,
2012,
FMICS.
Yann Régis-Gianas,
Matthias Puech,
2010
.
Yann Régis-Gianas,
François Pottier,
F. Pottier,
2006,
POPL '06.
Stephan Merz,
Leslie Lamport,
Arthur Charguéraud,
2007
.
Jacques Sakarovitch,
Yann Régis-Gianas,
Raphael 'kena' Poss,
2003,
CIAA.
Yann Régis-Gianas,
Ralf Treinen,
Nicolas Jeannerod,
2018,
SLE.
Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation
Yann Régis-Gianas,
Paolo G. Giarrusso,
Philipp Schuster,
2019,
ESOP.
Burkhart Wolff,
Enrico Tassi,
Yann Régis-Gianas,
2013,
MKM/Calculemus/DML.
Yann Régis-Gianas,
Ralf Treinen,
Nicolas Jeannerod,
2020,
J. Comput. Lang..
Derek Dreyer,
Robbert Krebbers,
Yann Régis-Gianas,
2018,
Proc. ACM Program. Lang..
Yann Régis-Gianas,
Paul Laforgue,
2017,
PPDP.
Yann Régis-Gianas,
2007
.
Yann Régis-Gianas,
Matthias Puech,
2012
.
Roberto M. Amadio,
Yann Régis-Gianas,
Ronan Saillard,
2010,
ArXiv.
Damien Doligez,
Didier Rémy,
Zaynah Dargaye,
2006
.
Jacques Sakarovitch,
Yann Régis-Gianas,
Sylvain Lombardy,
2004,
Theor. Comput. Sci..
Pierre Chambart,
Damien Doligez,
Yann Régis-Gianas,
2015
.
Yann Régis-Gianas,
Thomas Letan,
2020,
CPP.
Alexis Saurin,
Yann Régis-Gianas,
Pierre-Marie Pédrot,
2015
.
Roberto M. Amadio,
Yann Régis-Gianas,
R. Amadio,
2011,
FOPARA.
Thibaut Girka,
David Mentré,
Yann Régis-Gianas,
2016
.
Claude Marché,
Yann Régis-Gianas,
Ralf Treinen,
2019
.
Yann Régis-Gianas,
Franois Pottier,
2007
.