Registered user since Thu 25 Mar 2021
Name:Pietro Barbieri
Affiliation:Università di Genova
Contributions
| ECOOP 2020 | Sound regular corecursion in coFJ | ||||||||||||||||||||||||||||||||||||||||
| FTfJP 2020 | An inductive abstract semantics for coFJ | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2020-profile
View general profile
View general profile