Registered user since Mon 13 Sep 2021
Name:Agustín Borgna
Country:Argentina
Affiliation:Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, France
Personal website: https://lmf.cnrs.fr/Perso/Agustin_Borgna
GitHub: https://github.com/aborgna
Contributions
ICFP 2022-profile
View general profile
View general profile