Exequiel Rivas
发表
Exequiel Rivas,
Mauro Jaskelioff,
Exequiel Rivas,
2014,
Journal of Functional Programming.
Exequiel Rivas,
Mauro Jaskelioff,
2017
.
Exequiel Rivas,
Catalin Hritcu,
Kenji Maillard,
2019,
Proc. ACM Program. Lang..
Robert Atkey,
Exequiel Rivas,
Catalin Hritcu,
2019,
Proc. ACM Program. Lang..
Gilles Barthe,
Exequiel Rivas,
G. Barthe,
2011,
TGC.
Tarmo Uustalu,
Exequiel Rivas,
Shin-ya Katsumata,
2019,
LICS.
Exequiel Rivas,
Dylan McDermott,
Tarmo Uustalu,
2022,
FoSSaCS.
Dominique Devriese,
Frank Piessens,
Gilles Barthe,
2012,
FMOODS/FORTE.
Bas Spitters,
Théo Winterhalter,
Exequiel Rivas,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Théo Winterhalter,
Exequiel Rivas,
Stefan Ciobaca,
2023,
Proc. ACM Program. Lang..
Théo Winterhalter,
Exequiel Rivas,
Cătălin Hriţcu,
2023,
ArXiv.