Francesco Gavazzo -

Not registered as user yet

Name:Francesco Gavazzo

Contributions

POPL 2023	Author of Elements of Quantitative Rewriting within the POPL-track
HOPE 2022	Author of Quantitative and Metric Rewriting: Abstract and Linear Systems within the HOPE 2022-track Author of On Reinforcement Learning, Effect Handlers, and the State Monad within the HOPE 2022-track
ICFP 2022	Author of On Feller Continuity and Full Abstraction within the ICFP Papers and Events-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 2021	Author of Computational and Contextual Program Differences: Reasoning About Non-equivalent Effectful Programs in an Higher-Order Scenario within the HOPE 2021-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