Exequiel Rivas

Identifiers

• name variant Exequiel Rivas 0.60 · backfill

Papers (3)

1. Misquoted No More: Securely Extracting F* Programs with IO cs.PL · 2026 · author #5
2. Dijkstra Monads for All cs.PL · 2019 · author #6
3. Notions of Computation as Monoids cs.LO · 2014 · author #1

Mentions

• 2602.19973 #5 · arxiv_oai · confidence 0.70 Exequiel Rivas
• 1406.4823 #1 · backfill · confidence 0.70 Exequiel Rivas

Frequent Coauthors

• Catalin Hritcu 2 shared papers
• Danel Ahman 2 shared papers
• Abigail Pribisova 1 shared papers
• Cezar-Constantin Andrici 1 shared papers
• \'Eric Tanter 1 shared papers
• Guido Martinez 1 shared papers
• Kenji Maillard 1 shared papers
• Mauro Jaskelioff 1 shared papers
• Robert Atkey 1 shared papers
• Th\'eo Winterhalter 1 shared papers