![Ana de Almeida Borges](https://popl24.sigplan.org/getProfileImage/anadealmeidaborges/8448d40a-b86a-487e-8e55-e3afaa8e8d73/small.jpg?1717779627000)
Registered user since Mon 27 Nov 2023
Name:Ana de Almeida Borges
Affiliation:University of Barcelona and Formal Vindications S.L.
Contributions
2024
POPL 2024-profile
View general profile
View general profile
Registered user since Mon 27 Nov 2023
Contributions