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


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