Registered user since Sat 8 Jul 2017
Name:Adrien Guatto
Country:France
Affiliation:IRIF, Université Paris Diderot
Personal website:https://www.irif.fr/~guatto/
Research interests:Programming languages, in particular: functional programming, semantics, type theory, compilation.
Contributions
LCTES 2023 | Programme Committee in Program Committee within the LCTES 2023-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile