Francesco Dagnino

69 papers A* 1A 9B 4C 5Journal 41Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Ain't No Stopping Us Monitoring Now.
ACM Trans. Softw. Eng. Methodol.
Luca Ciccone, Francesco Dagnino, Angelo Ferrando
2026 J jnl
The complexity of being monitorable.
CoRR
Riccardo Camerlo, Francesco Dagnino
2026 J jnl
The relational quotient completion.
Ann. Pure Appl. Log.
Francesco Dagnino, Fabio Pasquali
2025 A conf
An Effectful Object Calculus.
ECOOP
Francesco Dagnino, Paola Giannini, Elena Zucca
2025 J jnl
An effectful object calculus.
CoRR
Francesco Dagnino, Paola Giannini, Elena Zucca
2025 J jnl
Don't exhaust, don't waste.
CoRR
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2025 B conf
Fair Termination for Resource-Aware Active Objects.
APLAS
Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella
2025 J jnl
Fair Termination for Resource-Aware Active Objects.
CoRR
Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella
2025 A conf
Monadic Type-And-Effect Soundness.
ECOOP
Francesco Dagnino, Paola Giannini, Elena Zucca
2025 J jnl
Monadic type-and-effect soundness.
CoRR
Francesco Dagnino, Paola Giannini, Elena Zucca
2025 J jnl
Quantitative Equality in Substructural Logic via Lipschitz Doctrines.
Log. Methods Comput. Sci.
Francesco Dagnino, Fabio Pasquali
2025 J jnl
Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales.
CoRR
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
2024 J jnl
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential.
Log. Methods Comput. Sci.
Francesco Dagnino, Francesco Gavazzo
2024 J jnl
Cauchy-completions and the rule of unique choice in relational doctrines.
CoRR
Francesco Dagnino, Fabio Pasquali
2024 J jnl
Fair termination of multiparty sessions.
J. Log. Algebraic Methods Program.
Luca Ciccone, Francesco Dagnino, Luca Padovani
2024 J jnl
The Relational Quotient Completion.
CoRR
Francesco Dagnino, Fabio Pasquali
2024 C conf
sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions.
PPDP
Francesco Dagnino, Luca Padovani
2023 J jnl
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential.
CoRR
Francesco Dagnino, Francesco Gavazzo
2023 J jnl
A Java-like calculus with heterogeneous coeffects.
Theor. Comput. Sci.
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023 J jnl
Deconfined Global Types for Asynchronous Sessions.
Log. Methods Comput. Sci.
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
2023 A conf
Multi-Graded Featherweight Java.
ECOOP
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023 J jnl
Multi-graded Featherweight Java.
CoRR
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023 J jnl
QueryAGT: Asynchronous global types in co-logic programming.
Sci. Comput. Program.
Riccardo Bianchini, Francesco Dagnino
2023 B conf
Quotients and Extensionality in Relational Doctrines.
FSCD
Francesco Dagnino, Fabio Pasquali
2023 J jnl
Resource-Aware Soundness for Big-Step Semantics.
Proc. ACM Program. Lang.
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023 C conf
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad.
ICTAC
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
2023 J jnl
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad.
CoRR
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
2022 B conf
A Fibrational Tale of Operational Logical Relations.
FSCD
Francesco Dagnino, Francesco Gavazzo
2022 — conf
A Java-Like Calculus with User-Defined Coeffects.
ICTCS
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2022 J jnl
A Meta-theory for Big-step Semantics.
ACM Trans. Comput. Log.
Francesco Dagnino
2022 J jnl
Ain't No Stopping Us Monitoring Now.
CoRR
Luca Ciccone, Francesco Dagnino, Angelo Ferrando
2022 J jnl
Coeffects for Sharing and Mutation.
CoRR
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
2022 J jnl
Coeffects for sharing and mutation.
Proc. ACM Program. Lang.
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
2022 A conf
Fair Termination of Multiparty Sessions.
ECOOP
Luca Ciccone, Francesco Dagnino, Luca Padovani
2022 J jnl
Fair Termination of Multiparty Sessions.
CoRR
Luca Ciccone, Francesco Dagnino, Luca Padovani
2022 A* conf
Logical Foundations of Quantitative Equality.
LICS
Francesco Dagnino, Fabio Pasquali
2021 J jnl
A meta-theory for big-step semantics.
CoRR
Francesco Dagnino
2021 C conf
Asynchronous Global Types in Co-logic Programming.
COORDINATION
Riccardo Bianchini, Francesco Dagnino
2021 C conf
Deconfined Global Types for Asynchronous Sessions.
COORDINATION
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
2021 J jnl
Deconfined Global Types for Asynchronous Sessions.
CoRR
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
2021 J jnl
Doctrines, modalities and comonads.
CoRR
Francesco Dagnino, Giuseppe Rosolini
2021 J jnl
Doctrines, modalities and comonads.
Math. Struct. Comput. Sci.
Francesco Dagnino, Giuseppe Rosolini
2021 B conf
Flexible Coinduction in Agda.
ITP
Luca Ciccone, Francesco Dagnino, Elena Zucca
2021 — —
Flexible Coinduction.
Francesco Dagnino
2021 J jnl
Foundations of regular coinduction.
Log. Methods Comput. Sci.
Francesco Dagnino
2021 J jnl
Logical Foundations of Quantitative Equality (long version).
CoRR
Francesco Dagnino, Fabio Pasquali
2020 A conf
A Big Step from Finite to Infinite Computations (SCICO Journal-first).
ECOOP
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
2020 J jnl
A big step from finite to infinite computations.
Sci. Comput. Program.
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
2020 — conf
An inductive abstract semantics for coFJ.
FTfJP@ECOOP
Pietro Barbieri, Francesco Dagnino, Elena Zucca
2020 J jnl
Flexible coinductive logic programming.
CoRR
Francesco Dagnino, Davide Ancona, Elena Zucca
2020 J jnl
Flexible coinductive logic programming.
Theory Pract. Log. Program.
Francesco Dagnino, Davide Ancona, Elena Zucca
2020 J jnl
Foundations of regular coinduction.
CoRR
Francesco Dagnino
2020 A conf
Sound Regular Corecursion in coFJ.
ECOOP
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
2020 J jnl
Sound Regular Corecursion in coFJ.
CoRR
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
2020 A conf
Soundness Conditions for Big-Step Semantics.
ESOP
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
2020 J jnl
Soundness conditions for big-step semantics.
CoRR
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
2019 — conf
A framework for big-step semantics.
Programming
Francesco Dagnino
2019 J jnl
Coaxioms: flexible coinductive definitions by inference systems.
Log. Methods Comput. Sci.
Francesco Dagnino
2019 — conf
Corecursive Featherweight Java Revisited.
ICTCS
Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona
2018 C conf
: DRHOP, A Platform Proposal for Online Charity.
WEBIST
Francesco Dagnino, Marina Ribaudo
2018 — conf
A formalism for specification of Java API interfaces.
ISSTA/ECOOP Workshops
Davide Ancona, Francesco Dagnino, Luca Franceschini
2018 J jnl
Coaxioms: flexible coinductive definitions by inference systems.
CoRR
Francesco Dagnino
2018 — conf
Flexible Coinduction for Infinite Behaviour.
ICTCS
Francesco Dagnino
2018 A conf
Modeling Infinite Behaviour by Corules.
ECOOP
Davide Ancona, Francesco Dagnino, Elena Zucca
2017 A conf
Generalizing Inference Systems by Coaxioms.
ESOP
Davide Ancona, Francesco Dagnino, Elena Zucca
2017 J jnl
Generalizing inference systems by coaxioms.
CoRR
Francesco Dagnino
2017 J jnl
Reasoning on divergent computations with coaxioms.
Proc. ACM Program. Lang.
Davide Ancona, Francesco Dagnino, Elena Zucca
2016 — conf
Extending Coinductive Logic Programming with Co-Facts.
CoALP-Ty
Davide Ancona, Francesco Dagnino, Elena Zucca
2016 — conf
Towards a model of corecursion with default.
FTfJP@ECOOP
Davide Ancona, Francesco Dagnino, Elena Zucca