conf.researchr.org / Exequiel Rivas

Not registered as user yet

Name: Exequiel Rivas

Affiliation: Inria Paris

Contributions

Haskell 2020Committee Member in Program Committee within the Haskell 2020-track
POPL 2020Author of The Next 700 Relational Program Logics within the Research Papers-track
ICFP 2019Author of Dijkstra Monads for All within the Research Papers-track