Daniele Pautasso

According to our database, Daniele Pautasso authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

DAO-ML To Solidity: A Scalable Code Generation Approach for Decentralized Autonomous Organization Development.

Sowelu Avanzo, Marco Ottina, Daniele Pautasso, Irene Domenicale, Alex Norta, Claudio Schifanella

Proceedings of the 2025 International Conference on Information Technology for Social Good, 2025

2024

Higher Order Bayesian Networks, Exactly.

Claudia Faggian, Daniele Pautasso, Gabriele Vanoni

Proc. ACM Program. Lang., January, 2024

Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions.

Andrej Dudenhefner, Daniele Pautasso

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

Higher-Order Bayesian Networks, Exactly (Extended version).

Claudia Faggian, Daniele Pautasso, Gabriele Vanoni

CoRR, 2023

A Quantitative Version of Simple Types.

Daniele Pautasso, Simona Ronchi Della Rocca

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023