conf.researchr.org / Francesco Gavazzo

Not registered as user yet

Name:Francesco Gavazzo

Contributions

HOPE 2021 Author of Computational and Contextual Program Differences: Reasoning About Non-equivalent Effectful Programs in an Higher-Order Scenario within the HOPE 2021-track
POPL 2022 Author of A Relational Theory of Effects and Coeffects within the POPL-track
Author of Effectful Program Distancing within the POPL-track
HOPE 2020 Committee Member in Program Committee within the HOPE 2020-track
ESOP 2019 Author of Effectful Normal-Form Bisimulation within the ESOP 2019-track
ICFP 2018 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track