ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020

Registered user since Thu 19 Apr 2018

Name:Francesco Dagnino
Affiliation:DIBRIS, University of Genova, Italy
Personal website:
Research interests:Theoretical Computer Science, Programming Language Semantics, Type Systems


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