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