ECOOP 2016 (series) / 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
FTfJP 2016 | Towards a Model of Corecursion with Default Coupling Catch Clauses with Local Declarations | ||||||||||||||||||||||||||||||||||||||||
VORTEX 2016 | Runtime checks as nominal types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP 2016-profile
View general profile
View general profile