Registered user since Fri 7 Apr 2023
Name:Samuel Vivien
Country:France
Affiliation:INRIA & École Normale Supérieure | Université PSL
GitHub: https://github.com/samsa1
Research interests:Compilers & Formal methods
Contributions
ICFP 2024-profile
View general profile
View general profile