• Sign in
  • Sign up
conf.researchr.org / Francesco Gavazzo
  • 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
xMon 6 Feb 13:28
using conf.researchr.org (v1.58.0)
Support page
Sign Up