Daniele Pautasso

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Probabilistic Reasoning

Conditional Independence

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)
Andrej Dudenhefner, Daniele Pautasso
Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions. FSCD (2024)
Claudia Faggian, Daniele Pautasso, Gabriele Vanoni
Higher-Order Bayesian Networks, Exactly (Extended version). CoRR (2023)
Daniele Pautasso, Simona Ronchi Della Rocca
A Quantitative Version of Simple Types. FSCD (2023)