Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Paulo Emílio de Vilhena
conf.researchr.org general profile
POPL 2020 profile
POPL 2021 profile
Registered user since Tue 12 Nov 2019
Name:
Paulo Emílio de Vilhena
Country:
France
Affiliation:
Inria
Contributions
2021
POPL
Author of A Separation Logic for Effect Handlers within the POPL-track
2020
POPL
Author of Spy Game: Verifying a Local Generic Solver in Iris within the Research Papers-track
Share
x
Sat 12 Oct 18:49