SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

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

FTfJP 2020 An inductive abstract semantics for coFJ
ECOOP 2020 Sound regular corecursion in coFJ
Committee Member in Artifact Evaluation Committee within the Artifacts-track
A big step from finite to infinite computations
Show activities from other conferences

SPLASH 2020-profile
View general profile