Journal and Conference Papers

  • Riccardo Bianchini, Francesco Dagnino, Paola Giannini, and Elena Zucca. Resource-Aware Soundness for Big-Step Semantics. Proceedings of ACM on Programming Languages, 7(OOPSLA2) :1281–1309, 2023.

  • Riccardo Bianchini, Francesco Dagnino, Paola Giannini, and Elena Zucca. Multi-Graded Featherweight Java. In: Ali, K. and Salvaneschi, G. (eds.) 37th European Conference on Object-Oriented Programming, ECOOP 2023, pp. 3:1–3:27, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2023.

  • Francesco Dagnino and Fabio Pasquali. Quotients and Extensionality in Relational Doctrines. In: Gaboardi, M. and Raamsdonk, F. van (eds.) 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, pp. 25:1–25:23, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2023.

  • Francesco Dagnino, Amin Farjudian, and Eugenio Moggi. Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. In: Ábrahám, E., Dubslaff, C., and Tarifa, S.L.T. (eds.) Proceedings of the 20th International Colloquium onTheoretical Aspects of Computing - ICTAC 2023, pp. 313–331, Springer, 2023.

  • Riccardo Bianchini, Francesco Dagnino, Paola Giannini, and Elena Zucca. A Java-like calculus with heterogeneous coeffects. Theoretical Computer Science, 971 :114063, 2023.

  • Francesco Dagnino, Paola Giannini, and Mariangiola Dezani-Ciancaglini. Deconfined Global Types for Asynchronous Sessions. Logical Methods in Computer Science, 19(1) 2023.

  • Riccardo Bianchini and Francesco Dagnino. QueryAGT: Asynchronous global types in co-logic programming. Science of Computer Programming, 225 :102895, 2023.

  • Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, and Marco Servetto. Coeffects for Sharing and Mutation. Proceedings of ACM on Programming Languages, 6(OOPSLA2) 2022.

  • Luca Ciccone, Francesco Dagnino, and Luca Padovani. Fair Termination of Multiparty Sessions. In: Ali, K. and Vitek, J. (eds.) 36th European Conference on Object-Oriented Programming, ECOOP 2022, pp. 26:1–26:26, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2022. (distinguished paper award)

  • Francesco Dagnino and Fabio Pasquali. Logical Foundations of Quantitative Equality. In: Baier, C. and Fisman, D. (eds.) Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS’22, pp. 16:1–16:13, ACM, 2022.

  • Francesco Dagnino and Francesco Gavazzo. A Fibrational Tale of Operational Logical Relations. In: Felty, A.P. (ed.) 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, pp. 3:1–3:21, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2022.

  • Francesco Dagnino. A Meta-Theory for Big-Step Semantics. ACM Transactions on Computational Logic, 23(3) 2022.

  • Riccardo Bianchini, Francesco Dagnino, Paola Giannini, and Elena Zucca. A Java-Like Calculus with User-Defined Coeffects. In: Lago, U.D. and Gorla, D. (eds.) Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2019, pp. 66–78, CEUR-WS.org, 2022.

  • Francesco Dagnino and Giuseppe Rosolini. Doctrines, modalities and comonads. Mathematical Structures in Computer Scienc, :1–30, 2021.

  • Francesco Dagnino. Foundations of regular coinduction. Logical Methods in Computer Science, 17(4) 2021.

  • Francesco Dagnino, Paola Giannini, and Mariangiola Dezani-Ciancaglini. Deconfined Global Types for Asynchronous Sessions. In: Damiani, F. and Dardha, O. (eds.) Coordination Models and Languages - 23rd International Conference, COORDINATION 2021, pp. 41–60, Springer, 2021.

  • Riccardo Bianchini and Francesco Dagnino. Asynchronous Global Types in Co-logic Programming. In: Damiani, F. and Dardha, O. (eds.) Coordination Models and Languages - 23rd International Conference, COORDINATION 2021, pp. 134–146, Springer, 2021.

  • Luca Ciccone, Francesco Dagnino, and Elena Zucca. Flexible Coinduction in Agda. In: Cohen, L. and Kaliszyk, C. (eds.) 12th International Conference on Interactive Theorem Proving, ITP 2021, pp. 13:1–13:19, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2021.

  • Davide Ancona, Francesco Dagnino, Jurriaan Rot, and Elena Zucca. A big step from finite to infinite computations. Science of Computer Programming, 197 :102492, 2020. (Presented at ECOOP 2020)

  • Francesco Dagnino, Davide Ancona, and Elena Zucca. Flexible coinductive logic programming. Theory and Practice of Logic Programming, 20(6) :818–833, 2020. (Presented at ICLP 2020)

  • Davide Ancona, Pietro Barbieri, Francesco Dagnino, and Elena Zucca. Sound Regular Corecursion in coFJ. In: Hirschfeld, R. and Pape, T. (eds.) 34th European Conference on Object-Oriented Programming, ECOOP 2020, pp. 1:1–1:28, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2020.

  • Francesco Dagnino, Viviana Bono, Elena Zucca, and Mariangiola Dezani-Ciancaglini. Soundness Conditions for Big-Step Semantics. In: Müller, P. (ed.) Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, pp. 169–196, Springer, 2020.

  • Francesco Dagnino. Coaxioms: flexible coinductive definitions by inference systems. Logical Methods in Computer Science, 15(1) 2019.

  • Pietro Barbieri, Francesco Dagnino, Elena Zucca, and Davide Ancona. Corecursive Featherweight Java Revisited. In: Cherubini, A., Sabadini, N., and Tini, S. (eds.) Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, pp. 158–170, CEUR-WS.org, 2019.

  • Davide Ancona, Francesco Dagnino, and Elena Zucca. Modeling Infinite Behaviour by Corules. In: Millstein, T.D. (ed.) 32nd European Conference on Object-Oriented Programming, ECOOP 2018, pp. 21:1–21:31, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018.

  • Francesco Dagnino. Flexible Coinduction for Infinite Behaviour. In: Aldini, A. and Bernardo, M. (eds.) , Urbino, Italy, September 18-20, 2018, pp. 17–23, CEUR-WS.org, 2018.

  • Davide Ancona, Francesco Dagnino, and Elena Zucca. Reasoning on divergent computations with coaxioms. Proceedings of ACM on Programming Languages, 1(OOPSLA) :81:1–81:26, 2017. (Presented at SPLASH 2017)

  • Davide Ancona, Francesco Dagnino, and Elena Zucca. Generalizing Inference Systems by Coaxioms. In: Yang, H. (ed.) Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, pp. 29–55, Springer, 2017.