Gabriele Vanoni

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 21

Top Topics

Datalog Queries

Lambda Calculus

Bayesian Networks

Top Venues

Proc. ACM Program. Lang.

Publications

Claudia Faggian, Daniele Pautasso, Gabriele Vanoni
Higher Order Bayesian Networks, Exactly. Proc. ACM Program. Lang. 8 (POPL) (2024)
Lê Thành Dung Tito Nguyên, Gabriele Vanoni
(Almost) Affine Higher-Order Tree Transducers. CoRR (2024)
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
Monadic Intersection Types, Relationally. ESOP (1) (2024)
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
Monadic Intersection Types, Relationally (Extended Version). CoRR (2024)
Martin Avanzini, Gilles Barthe, Benjamin Grégoire, Georg Moser, Gabriele Vanoni
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
A Log-Sensitive Encoding of Turing Machines in the λ-Calculus. CoRR (2023)
Claudia Faggian, Daniele Pautasso, Gabriele Vanoni
Higher-Order Bayesian Networks, Exactly (Extended version). CoRR (2023)
Ugo Dal Lago, Gabriele Vanoni
(Not So) Boring Abstract Machines. ICTCS (2023)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Reasonable Space for the λ-Calculus, Logarithmically. LICS (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Multi types and reasonable space. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Multi Types and Reasonable Space (Long Version). CoRR (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Reasonable Space for the λ-Calculus, Logarithmically. CoRR (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The Space of Interaction. LICS (2021)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The (In)Efficiency of interaction. Proc. ACM Program. Lang. 5 (POPL) (2021)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The Space of Interaction (long version). CoRR (2021)
Ugo Dal Lago, Gabriele Vanoni
-calculus. Theor. Comput. Sci. 813 (2020)
Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni
The Abstract Machinery of Interaction (Long Version). CoRR (2020)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The (In)Efficiency of Interaction. CoRR (2020)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The Machinery of Interaction. PPDP (2020)
Ugo Dal Lago, Gabriele Vanoni
On Randomised Strategies in the λ-calculus. ICTCS (2018)
Ugo Dal Lago, Gabriele Vanoni
On Randomised Strategies in the λ-Calculus (Long Version). CoRR (2018)