Registered user since Sat 8 Jul 2017

Name:Adrien Guatto
Country:France
Affiliation:IRIF, Université Paris Diderot
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