conf.researchr.org / Paulo Emílio de Vilhena
Registered user since Tue 12 Nov 2019
Name:Paulo Emílio de Vilhena
Country:France
Affiliation:Inria
Contributions
| POPL 2021 | Author of A Separation Logic for Effect Handlers within the POPL-track |
| POPL 2020 | Author of Spy Game: Verifying a Local Generic Solver in Iris within the Research Papers-track |