Registered user since Sat 29 Apr 2023
Name:Francesco Gavazzo
Country:Italy
Affiliation:University of Bologna; Inria
Contributions
POPL 2022 | A Relational Theory of Effects and Coeffects Effectful Program Distancing | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile