conf.researchr.org / Adrien Guatto
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