Elena Zucca - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Registered user since Thu 22 Mar 2018

Name: Elena Zucca

Affiliation: University of Genova

Personal website: http://www.disi.unige.it/person/ZuccaE/

Contributions

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

SPLASH 2020-profile
View general profile