ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

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

Using general profile