Registered user since Mon 1 Jul 2024
Name:Luca Mondada
Country:United Kingdom
Affiliation:University of Oxford
X (Twitter): https://x.com/lmondada
GitHub: https://github.com/lmondada
Contributions
POPL 2025-profile
View general profile
View general profile