Daniele Pautasso

According to our database, Daniele Pautasso authored at least 7 papers between 2023 and 2026.

Collaborative distances:

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

2026

Principal Typing for Intersection Types, Forty-Five Years Later.

Daniele Pautasso, Simona Ronchi Della Rocca

CoRR, March, 2026

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

DAOMod: A Modeling Method for Decentralized Autonomous Organization Development.

Sowelu Avanzo, Daniele Pautasso, Irene Domenicale, Alex Norta, Claudio Schifanella, Marie Hattingh, Daniel Sami Mitwalli

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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