SPLASH 2022 (series) / Francesco Dagnino
Registered user since Thu 19 Apr 2018
Name:Francesco Dagnino
Country:Italy
Affiliation:University of Genoa
Personal website:https://fdgn.github.io
Research interests:Theoretical Computer Science, Programming Language Semantics, Type Systems
Contributions
SPLASH 2022 | Coeffects for Sharing and Mutation | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile