Registered user since Wed 24 Apr 2024
Name:Pedro Carrott
Country:United Kingdom
Affiliation:Imperial College London
Personal website: https://pcarrott.github.io
X (Twitter): https://x.com/pedrocarrott
GitHub: https://github.com/pcarrott
Contributions
POPL 2025-profile
View general profile
View general profile