DAGNINO, FRANCESCO
DAGNINO, FRANCESCO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
:DRHOP, A Platform Proposal for Online Charity
2018-01-01 Dagnino, Francesco; Ribaudo, Marina
A Fibrational Tale of Operational Logical Relations
2022-01-01 Dagnino, F.; Gavazzo, F.
A formalism for specification of Java API interfaces
2018-01-01 Ancona, D.; Dagnino, F.; Franceschini, L.
A framework for big-step semantics
2019-01-01 Dagnino, F.
A Java-like calculus with user-defined coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
An inductive abstract semantics for coFJ
2020-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.
Asynchronous Global Types in Co-logic Programming
2021-01-01 Bianchini, R.; Dagnino, F.
Corecursive featherweight Java revisited
2019-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D.
Deconfined Global Types for Asynchronous Sessions
2021-01-01 Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M.
Fair Termination of Multiparty Sessions
2022-01-01 Ciccone, L.; Dagnino, F.; Padovani, L.
Flexible coinduction for infinite behaviour
2018-01-01 Dagnino, F.
Flexible coinduction in Agda
2021-01-01 Ciccone, L.; Dagnino, F.; Zucca, E.
Generalizing inference systems by coaxioms
2017-01-01 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Logical Foundations of Qantitative Equality
2022-01-01 Dagnino, F.; Pasquali, F.
Modeling Infinite Behaviour by Corules
2018-01-01 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Multi-Graded Featherweight Java
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Quotients and Extensionality in Relational Doctrines
2023-01-01 Dagnino, F.; Pasquali, F.
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
2023-01-01 Dagnino, F.; Farjudian, A.; Moggi, E.
SMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions
2024-01-01 Dagnino, F.; Padovani, L.
Sound Regular Corecursion in coFJ
2020-01-01 Ancona, Davide; Barbieri, Pietro; Dagnino, Francesco; Zucca, Elena
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| :DRHOP, A Platform Proposal for Online Charity | 1-gen-2018 | Dagnino, Francesco; Ribaudo, Marina | |
| A Fibrational Tale of Operational Logical Relations | 1-gen-2022 | Dagnino, F.; Gavazzo, F. | |
| A formalism for specification of Java API interfaces | 1-gen-2018 | Ancona, D.; Dagnino, F.; Franceschini, L. | |
| A framework for big-step semantics | 1-gen-2019 | Dagnino, F. | |
| A Java-like calculus with user-defined coeffects | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
| An inductive abstract semantics for coFJ | 1-gen-2020 | Barbieri, P.; Dagnino, F.; Zucca, E. | |
| Asynchronous Global Types in Co-logic Programming | 1-gen-2021 | Bianchini, R.; Dagnino, F. | |
| Corecursive featherweight Java revisited | 1-gen-2019 | Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D. | |
| Deconfined Global Types for Asynchronous Sessions | 1-gen-2021 | Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M. | |
| Fair Termination of Multiparty Sessions | 1-gen-2022 | Ciccone, L.; Dagnino, F.; Padovani, L. | |
| Flexible coinduction for infinite behaviour | 1-gen-2018 | Dagnino, F. | |
| Flexible coinduction in Agda | 1-gen-2021 | Ciccone, L.; Dagnino, F.; Zucca, E. | |
| Generalizing inference systems by coaxioms | 1-gen-2017 | Ancona, Davide; Dagnino, Francesco; Zucca, Elena | |
| Logical Foundations of Qantitative Equality | 1-gen-2022 | Dagnino, F.; Pasquali, F. | |
| Modeling Infinite Behaviour by Corules | 1-gen-2018 | Ancona, Davide; Dagnino, Francesco; Zucca, Elena | |
| Multi-Graded Featherweight Java | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
| Quotients and Extensionality in Relational Doctrines | 1-gen-2023 | Dagnino, F.; Pasquali, F. | |
| Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad | 1-gen-2023 | Dagnino, F.; Farjudian, A.; Moggi, E. | |
| SMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions | 1-gen-2024 | Dagnino, F.; Padovani, L. | |
| Sound Regular Corecursion in coFJ | 1-gen-2020 | Ancona, Davide; Barbieri, Pietro; Dagnino, Francesco; Zucca, Elena |