Registered user since Thu 19 Apr 2018
Name:Francesco Dagnino
Country:Italy
Affiliation:DIBRIS, University of Genova, Italy
Personal website:https://fdgn.github.io
Research interests:Theoretical Computer Science, Programming Language Semantics, Type Systems
Contributions
| miniKanren 2022 | PC Member in Program Committee within the miniKanren 2022-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile