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.

view all papers

Preprints

  • Francesco Dagnino and Francesco Gavazzo. A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential (March 2023), submitted to journal pdf

  • Riccardo Bianchini, Francesco Dagnino, Paola Giannini and Elena Zucca. Multi-graded Featherweight Java (February 2023), to appear in ECOOP 2023 pdf

  • Francesco Dagnino and Fabio Pasquali. Quantitative Equality in Substructural Logic via Lipschitz Doctrines (November 2022), submitted to journal pdf

  • Luca Ciccone, Francesco Dagnino and Angelo Ferrando. Ain’t No Stopping Us Monitoring Now (November 2022), pdf

PhD Thesis

Francesco Dagnino. Flexible CoinDuction. abstract
supervised by Davide Ancona and Elena Zucca
DIBRIS - Università di Genova
PhD Program in Computer Scince and System Engineering, Cycle XXXIII (January 2021)
Best Italian PhD Thesis in Theoretical Computer Science 2021, awarded by the Italian Chapter of EATCS
download pdf

Software

Selected Talks

Workshop Papaers