SPLASH 2027 (series) / Paulo Emílio de Vilhena
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
Using general profile