Pietro Barbieri -

Registered user since Thu 25 Mar 2021

Name:Pietro Barbieri

Country:Italy

Affiliation:Università di Genova

Personal website:https://www.dibris.unige.it/barbieri-pietro

Research interests:Programming Languages

Contributions

FTfJP 2020	Author of An inductive abstract semantics for coFJ within the FTfJP-track
ECOOP 2021	Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
ECOOP 2020	Author of Sound regular corecursion in coFJ within the Research Papers-track