Not registered as user yet

Name: Exequiel Rivas

Affiliation: Inria Paris

Contributions

ICFP 2019Author of Dijkstra Monads for All within the Research Papers-track