Registered user since Sun 15 Nov 2020

Name:Gabriele Vanoni
Affiliation:University of Bologna & INRIA Sophia Antipolis
Personal website:http://vanoni.me

Contributions

ICFP 2022 Author of Multi Types and Reasonable Space within the ICFP Papers and Events-track
POPL 2021 Author of The (In)Efficiency of Interaction within the POPL-track