1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2024
Monadic Intersection Types, Relationally (Extended Version)
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
We extend intersection types to a computational -calculus with algebraic operations à la Plotkin and Power. We achieve this by considering monadic intersections, whereby computa…
cs.LO2023★ 1 cited
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
Francesco Dagnino, Francesco Gavazzo
Logical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive…