• Sign in
  • Sign up
conf.researchr.org / Exequiel Rivas
  • 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
xSat 25 Jun 02:46
using conf.researchr.org (v1.56.1)
Support page
Sign Up