SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Elena Zucca
Elena Zucca

Registered user since Thu 22 Mar 2018

Name:Elena Zucca
Affiliation:University of Genova
Personal website:http://www.disi.unige.it/person/ZuccaE/

Contributions

SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
ECOOP 2020 A big step from finite to infinite computations
Sound regular corecursion in coFJ
FTfJP 2020 An inductive abstract semantics for coFJ
Programme Committee in Program Committee within the FTfJP-track
Show activities from other conferences

SPLASH 2020-profile
View general profile