Registered user since Thu 22 Aug 2024
Name:Paulo Emílio de Vilhena
Country:United Kingdom
Affiliation:University of Surrey
Personal website: https://devilhena-paulo.github.io/
Research interests:Memory Models, Effect Handlers, Type Systems, Separation Logic
Contributions
PLDI 2026-profile
View general profile
View general profile