Registered user since Thu 22 Aug 2024
Name:Paulo Emílio de Vilhena
Affiliation:Imperial College London
Personal website: https://devilhena-paulo.github.io/
Research interests:Memory Models, Effect Handlers, Type Systems, Separation Logic
Contributions
Using general profile