
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