Maxime Dénès
发表
Benjamin C. Pierce,
Leonidas Lampropoulos,
Antal Spector-Zabusky,
2016,
Journal of Functional Programming.
B. Pierce,
Maxime Dénès,
2014
.
B. Pierce,
Catalin Hritcu,
Leonidas Lampropoulos,
2014
.
Stephan Merz,
Sébastien Tixeuil,
Leslie Lamport,
2013
.
Pierre Courtieu,
Xavier Leroy,
Jacques-Henri Jourdan,
2011
.
Benjamin C. Pierce,
Leonidas Lampropoulos,
Catalin Hritcu,
2015,
ITP.
Adrien Richard,
Yves Bertot,
Maxime Dénès,
2009,
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Benjamin C. Pierce,
Leonidas Lampropoulos,
Antal Spector-Zabusky,
2013,
Journal of Functional Programming.
Benjamin C. Pierce,
Antal Spector-Zabusky,
Catalin Hritcu,
2015,
2015 IEEE Symposium on Security and Privacy.
Vincent Siles,
Maxime Dénès,
Anders Mörtberg,
2012,
ITP.
Maxime Dénès,
Maxime Dénès,
2013
.
Vincent Siles,
Cyril Cohen,
Maxime Dénès,
2016,
Log. Methods Comput. Sci..