Francesco Gavazzo
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
- POPL2 editions2022–2023
on a stage with
all 4 in the filters
who talks about the same things
- Ugo Dal Lago14 talks
- Ohad Kammar19 talks
- Giulio Manzonetto3 talks
- Gilles Barthe17 talks
- Thomas Reps20 talks
- Emanuele D'Osualdo7 talks
| title | conference | date |
|---|---|---|
| Elements of Quantitative Rewriting | POPL 2023 | 2023-01-15 |
Defines rewriting over quantales and proves metric versions of Newman and Church‑Rosser plus critical‑pair lemmas, with concrete counterexamples showing… | ||
| On Feller Continuity and Full Abstraction | ICFP 2022 | 2022-09-11 |
Shows that in a call-by-value higher-order lambda calculus with sampling and only continuous real-valued primitives, Feller-continuity on the induced labelled… | ||
| Effectful Program Distancing | POPL 2022 | 2022-01-16 |
Proposes a semantic framework that extends differential logical relations to effectful higher-order languages and proves a fundamental lemma that yields… | ||
| A Relational Theory of Effects and Coeffects | POPL 2022 | 2022-01-16 |
Paper gives an operational, relational framework for higher-order languages with graded modal types and algebraic effects, using a monadic semantics (Maybe… | ||
| nothing matches | ||