Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Francesco Gavazzo
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2018 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
POPL 2022 profile
POPL 2023 profile
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
Share
x
Mon 6 Feb 13:28