Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Exequiel Rivas
conf.researchr.org general profile
ICFP 2019 profile
ICFP 2020 profile
POPL 2020 profile
Not registered as user
Name:
Exequiel Rivas
Affiliation:
Inria Paris
Contributions
2020
Haskell
Committee Member in Program Committee within the Haskell 2020-track
Session Chair of Paper Session 2 - Animations and Demonstrations (part of Haskell 2020)
POPL
Author of The Next 700 Relational Program Logics within the Research Papers-track
2019
ICFP
Author of Dijkstra Monads for All within the Research Papers-track
Share
x
Mon 30 Dec 18:16