Exequiel Rivas
发表
Dominique Devriese,
Frank Piessens,
Gilles Barthe,
2012,
FMOODS/FORTE.
Exequiel Rivas,
Ezequiel Postan,
Mauro Jaskelioff,
2017,
CLEI Selected Papers.
Tom Schrijvers,
Exequiel Rivas,
Ruben P. Pieters,
2017,
IFL.
Exequiel Rivas,
Mauro Jaskelioff,
Exequiel Rivas,
2014,
Journal of Functional Programming.
Exequiel Rivas,
2018,
MSFP@FSCD.
Tom Schrijvers,
Exequiel Rivas,
Ruben P. Pieters,
2020,
J. Funct. Program..
Exequiel Rivas,
Mauro Jaskelioff,
2019
.
Exequiel Rivas,
Mauro Jaskelioff,
2015,
ICFP.
Robert Atkey,
Exequiel Rivas,
Catalin Hritcu,
2019,
Proc. ACM Program. Lang..
Tom Schrijvers,
Exequiel Rivas,
Mauro Jaskelioff,
2015,
PPDP.
Tarmo Uustalu,
Exequiel Rivas,
Shin-ya Katsumata,
2019,
LICS.
Dominique Devriese,
Frank Piessens,
Gilles Barthe,
2012,
FMOODS/FORTE.
Exequiel Rivas,
Catalin Hritcu,
Kenji Maillard,
2019,
Proc. ACM Program. Lang..
Tom Schrijvers,
Exequiel Rivas,
Mauro Jaskelioff,
2018,
Sci. Comput. Program..
Gilles Barthe,
Exequiel Rivas,
G. Barthe,
2011,
TGC.
Bas Spitters,
Théo Winterhalter,
Exequiel Rivas,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).