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
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

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
FTfJP 2020 An inductive abstract semantics for coFJ
Show activities from other conferences

SPLASH 2020-profile
View general profile