Victor Cacciari Miraldo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2017–2021
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CPP | Formal verification of authenticated, append-only skip lists in Agda. | Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr. |
| 2019 | PADL | Classes of Arbitrary Kind. | Alejandro Serrano, Victor Cacciari Miraldo |
| 2018 | HASKELL | Generic programming of all kinds. | Alejandro Serrano, Victor Cacciari Miraldo |
| 2018 | ICFP | Authenticated modular maps in Haskell. | Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy |
| 2018 | ICFP | Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming. | Victor Cacciari Miraldo, Alejandro Serrano |
| 2017 | ICFP | Type-directed diffing of structured data. | Victor Cacciari Miraldo, Pierre-variste Dagand, Wouter Swierstra |