Exequiel Rivas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2012–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | PPDP | Concurrent monads for shared state. | Exequiel Rivas, Tarmo Uustalu |
| 2022 | FOSSACS | Sweedler Theory of Monads. | Dylan McDermott, Exequiel Rivas, Tarmo Uustalu |
| 2020 | LICS | Interaction Laws of Monads and Comonads. | Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu |
| 2015 | ICFP | Functional pearl: a smart view on datatypes. | Mauro Jaskelioff, Exequiel Rivas |
| 2015 | PPDP | From monoids to near-semirings: the essence of MonadPlus and alternative. | Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers |
| 2012 | FORTE | Secure Multi-Execution through Static Program Transformation. | Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas |