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

‹Programming› 2023	Committee Member in Artifact Evaluation Committee within the Artifacts-track
ECOOP 2022	Author of Elevator Pitches within the Doctoral Symposium-track Author of Enhancing regular corecursion within the Doctoral Symposium-track
FLOPS 2022	Author of Checked corecursive streams: trading expressive power for reliability within the FLOPS 2022-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
FTfJP 2020	Author of An inductive abstract semantics for coFJ within the FTfJP-track