Not registered as user yet
Name:Adrienne Lancelot
Country:France
Affiliation:Inria, LIX Ecole Polytechnique, IRIF Université Paris Cité
Personal website: https://www.irif.fr/users/lancelot/index
Contributions
2024
POPL 2024-profile
View general profile
View general profile