Registered user since Mon 18 Jul 2022
Name:Ignacio Ballesteros
Bio:
bsky: @ignacioballesteros.es
Country:Spain
Affiliation:IMDEA Software Institute and Universidad Politécnica de Madrid
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
POPL 2025-profile
View general profile
View general profile