Francesco Dagnino

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 54

Top Topics

Logic Programming

Logical Foundations

Declarative Semantics

Top Venues

Log. Methods Comput. Sci.

Publications

Luca Ciccone, Francesco Dagnino, Luca Padovani
Fair termination of multiparty sessions. J. Log. Algebraic Methods Program. 139 (2024)
Francesco Dagnino, Francesco Gavazzo
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential. Log. Methods Comput. Sci. 20 (2) (2024)
Francesco Dagnino, Fabio Pasquali
Cauchy-completions and the rule of unique choice in relational doctrines. CoRR (2024)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Multi-Graded Featherweight Java. ECOOP (2023)
Francesco Dagnino, Fabio Pasquali
Quotients and Extensionality in Relational Doctrines. FSCD (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Multi-graded Featherweight Java. CoRR (2023)
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. ICTAC (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Resource-Aware Soundness for Big-Step Semantics. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. CoRR (2023)
Riccardo Bianchini, Francesco Dagnino
QueryAGT: Asynchronous global types in co-logic programming. Sci. Comput. Program. 225 (2023)
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Deconfined Global Types for Asynchronous Sessions. Log. Methods Comput. Sci. 19 (1) (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
A Java-like calculus with heterogeneous coeffects. Theor. Comput. Sci. 971 (2023)
Francesco Dagnino, Francesco Gavazzo
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential. CoRR (2023)
Francesco Dagnino, Fabio Pasquali
Logical Foundations of Quantitative Equality. LICS (2022)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
Coeffects for Sharing and Mutation. CoRR (2022)
Francesco Dagnino, Francesco Gavazzo
A Fibrational Tale of Operational Logical Relations. FSCD (2022)
Luca Ciccone, Francesco Dagnino, Luca Padovani
Fair Termination of Multiparty Sessions. ECOOP (2022)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
Coeffects for sharing and mutation. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Francesco Dagnino
A Meta-theory for Big-step Semantics. ACM Trans. Comput. Log. 23 (3) (2022)
Luca Ciccone, Francesco Dagnino, Angelo Ferrando
Ain't No Stopping Us Monitoring Now. CoRR (2022)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
A Java-Like Calculus with User-Defined Coeffects. ICTCS (2022)
Luca Ciccone, Francesco Dagnino, Luca Padovani
Fair Termination of Multiparty Sessions. CoRR (2022)
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Deconfined Global Types for Asynchronous Sessions. COORDINATION (2021)
Luca Ciccone, Francesco Dagnino, Elena Zucca
Flexible Coinduction in Agda. ITP (2021)
Francesco Dagnino
A meta-theory for big-step semantics. CoRR (2021)
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Deconfined Global Types for Asynchronous Sessions. CoRR (2021)
Francesco Dagnino, Fabio Pasquali
Logical Foundations of Quantitative Equality (long version). CoRR (2021)
Francesco Dagnino, Giuseppe Rosolini
Doctrines, modalities and comonads. CoRR (2021)
Francesco Dagnino
Foundations of regular coinduction. Log. Methods Comput. Sci. 17 (4) (2021)
Francesco Dagnino, Giuseppe Rosolini
Doctrines, modalities and comonads. Math. Struct. Comput. Sci. 31 (7) (2021)
Riccardo Bianchini, Francesco Dagnino
Asynchronous Global Types in Co-logic Programming. COORDINATION (2021)
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
A Big Step from Finite to Infinite Computations (SCICO Journal-first). ECOOP (2020)
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
Sound Regular Corecursion in coFJ. CoRR (2020)
Francesco Dagnino, Davide Ancona, Elena Zucca
Flexible coinductive logic programming. CoRR (2020)
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
A big step from finite to infinite computations. Sci. Comput. Program. 197 (2020)
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
Soundness conditions for big-step semantics. CoRR (2020)
Francesco Dagnino, Davide Ancona, Elena Zucca
Flexible coinductive logic programming. Theory Pract. Log. Program. 20 (6) (2020)
Pietro Barbieri, Francesco Dagnino, Elena Zucca
An inductive abstract semantics for coFJ. FTfJP@ECOOP (2020)
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
Sound Regular Corecursion in coFJ. ECOOP (2020)
Francesco Dagnino
Foundations of regular coinduction. CoRR (2020)
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
Soundness Conditions for Big-Step Semantics. ESOP (2020)
Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona
Corecursive Featherweight Java Revisited. ICTCS (2019)
Francesco Dagnino
Coaxioms: flexible coinductive definitions by inference systems. Log. Methods Comput. Sci. 15 (1) (2019)
Francesco Dagnino
A framework for big-step semantics. Programming (2019)
Francesco Dagnino, Marina Ribaudo
: DRHOP, A Platform Proposal for Online Charity. WEBIST (2018)
Davide Ancona, Francesco Dagnino, Luca Franceschini
A formalism for specification of Java API interfaces. ISSTA/ECOOP Workshops (2018)
Davide Ancona, Francesco Dagnino, Elena Zucca
Modeling Infinite Behaviour by Corules. ECOOP (2018)
Francesco Dagnino
Flexible Coinduction for Infinite Behaviour. ICTCS (2018)
Francesco Dagnino
Coaxioms: flexible coinductive definitions by inference systems. CoRR (2018)
Francesco Dagnino
Generalizing inference systems by coaxioms. CoRR (2017)
Davide Ancona, Francesco Dagnino, Elena Zucca
Reasoning on divergent computations with coaxioms. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Davide Ancona, Francesco Dagnino, Elena Zucca
Generalizing Inference Systems by Coaxioms. ESOP (2017)
Davide Ancona, Francesco Dagnino, Elena Zucca
Towards a model of corecursion with default. FTfJP@ECOOP (2016)
Davide Ancona, Francesco Dagnino, Elena Zucca
Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty (2016)