Gabriele Vanoni

30 papers A* 2A 1B 1C 1Journal 21Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
(Definitely not) Boring interaction abstract machines.
Theor. Comput. Sci.
Ugo Dal Lago, Gabriele Vanoni
2026 B conf
Interaction Improvement.
FoSSaCS
Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni
2026 J jnl
Interaction Improvement.
CoRR
Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni
2025 J jnl
Interaction Equivalence.
Proc. ACM Program. Lang.
Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto, Gabriele Vanoni
2025 J jnl
Monadic Intersection Types, Relationally, and Ordered.
ACM Trans. Program. Lang. Syst.
Zeinab Galal, Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
2025 A conf
Slightly Non-Linear Higher-Order Tree Transducers.
STACS
Lê Thành Dung Nguyên, Gabriele Vanoni
2024 J jnl
(Almost) Affine Higher-Order Tree Transducers.
CoRR
Lê Thành Dung Tito Nguyên, Gabriele Vanoni
2024 J jnl
Higher Order Bayesian Networks, Exactly.
Proc. ACM Program. Lang.
Claudia Faggian, Daniele Pautasso, Gabriele Vanoni
2024 J jnl
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs.
Proc. ACM Program. Lang.
Martin Avanzini, Gilles Barthe, Benjamin Grégoire, Georg Moser, Gabriele Vanoni
2024 J jnl
Interaction Equivalence.
CoRR
Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto, Gabriele Vanoni
2024 J jnl
Monadic Intersection Types, Relationally (Extended Version).
CoRR
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
2024 — conf
Monadic Intersection Types, Relationally.
ESOP (1)
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
2024 J jnl
Reasonable Space for the λ-Calculus, Logarithmically.
Log. Methods Comput. Sci.
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2023 — conf
(Not So) Boring Abstract Machines.
ICTCS
Ugo Dal Lago, Gabriele Vanoni
2023 J jnl
A Log-Sensitive Encoding of Turing Machines in the λ-Calculus.
CoRR
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2023 J jnl
Higher-Order Bayesian Networks, Exactly (Extended version).
CoRR
Claudia Faggian, Daniele Pautasso, Gabriele Vanoni
2022 J jnl
Multi Types and Reasonable Space (Long Version).
CoRR
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2022 J jnl
Multi types and reasonable space.
Proc. ACM Program. Lang.
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2022 — —
On Reasonable Space and Time Cost Models for the λ-Calculus. (Sur les modèles de coût raisonnable en espace et en temps pour le λ-calcul).
Gabriele Vanoni
2022 A* conf
Reasonable Space for the λ-Calculus, Logarithmically.
LICS
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2022 J jnl
Reasonable Space for the λ-Calculus, Logarithmically.
CoRR
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2021 J jnl
The (In)Efficiency of interaction.
Proc. ACM Program. Lang.
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2021 J jnl
The Space of Interaction (long version).
CoRR
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2021 A* conf
The Space of Interaction.
LICS
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2020 J jnl
On randomised strategies in the
Theor. Comput. Sci.
Ugo Dal Lago, Gabriele Vanoni
2020 J jnl
The (In)Efficiency of Interaction.
CoRR
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2020 J jnl
The Abstract Machinery of Interaction (Long Version).
CoRR
Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni
2020 C conf
The Machinery of Interaction.
PPDP
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
2018 J jnl
On Randomised Strategies in the λ-Calculus (Long Version).
CoRR
Ugo Dal Lago, Gabriele Vanoni
2018 — conf
On Randomised Strategies in the λ-calculus.
ICTCS
Ugo Dal Lago, Gabriele Vanoni