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 yet
Name:
Exequiel Rivas
Affiliation:
Inria Paris
Contributions
Haskell 2020
Committee Member in Program Committee within the Haskell 2020-track
Session Chair of Paper Session 2 - Animations and Demonstrations (part of Haskell 2020)
POPL 2020
Author of The Next 700 Relational Program Logics within the Research Papers-track
ICFP 2019
Author of Dijkstra Monads for All within the Research Papers-track
Share
x
Sat 25 Jun 02:46