Arnaud Spiwack
发表
Luigi Liquori,
Arnaud Spiwack,
2008,
Theor. Comput. Sci..
Thierry Coquand,
Arnaud Spiwack,
T. Coquand,
2007,
Calculemus/MKM.
Benjamin Grégoire,
Arnaud Spiwack,
Laurent Théry,
2010,
ITP.
Arnaud Spiwack,
2015,
ArXiv.
Simon Peyton Jones,
Jean-Philippe Bernardy,
Ryan R. Newton,
2017
.
Benjamin Grégoire,
Enrico Tassi,
Yann Régis-Gianas,
2014
.
Luigi Liquori,
Arnaud Spiwack,
L. Liquori,
2008,
TOPL.
Denis Cousineau,
Guillaume Burel,
Gilles Dowek,
2009
.
Luigi Liquori,
Arnaud Spiwack,
L. Liquori,
2009
.
Arnaud Spiwack,
2010
.
Arnaud Spiwack,
2011
.
Simon L. Peyton Jones,
Ryan Newton,
Jean-Philippe Bernardy,
2017,
Proc. ACM Program. Lang..
Hugo Herbelin,
Arnaud Spiwack,
2013,
TYPES.
Luigi Liquori,
Arnaud Spiwack,
2004
.
Thierry Coquand,
Arnaud Spiwack,
2006,
LICS.
Arnaud Spiwack,
2013,
ArXiv.
Arnaud Spiwack,
A. Spiwack,
2018,
ArXiv.
David Teller,
Arnaud Spiwack,
Till Varoquaux,
2008,
IFL.
Thierry Coquand,
Arnaud Spiwack,
T. Coquand,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Guyslain Naves,
Arnaud Spiwack,
2014,
ITP.
Arnaud Spiwack,
2015,
ArXiv.
Arnaud Spiwack,
Yann Hamdaoui,
Teodoro Freund,
2021,
Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages.
Jean-Philippe Bernardy,
Arnaud Spiwack,
2021,
Artifact Digital Object Group.
Nicolas Wu,
Jean-Philippe Bernardy,
Arnaud Spiwack,
2021,
ArXiv.
Jean-Philippe Bernardy,
Arnaud Spiwack,
2021,
Haskell.
David Teller,
Arnaud Spiwack,
A. Spiwack,
2008
.
Arnaud Spiwack,
A. Spiwack,
2011
.