
Registered user since Wed 1 Sep 2021
Name:Joaquín Arias
Country:Spain
Affiliation:Universidad Rey Juan Carlos
Personal website: http://www.ia.urjc.es/GIA/joaquin-arias/
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
POPL 2025-profile
View general profile
View general profile