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