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 big step from finite to infinite computations
2020-01-01 Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E.
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 heterogeneous coeffects
2023-01-01 Bianchini, R; Dagnino, F; Giannini, P; Zucca, E
A Java-like calculus with user-defined coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
A Meta-theory for Big-step Semantics
2022-01-01 Dagnino, Francesco
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.
Coaxioms: Flexible coinductive definitions by inference systems
2019-01-01 Dagnino, F.
Coeffects for sharing and mutation
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco
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.
Deconfined Global Types for Asynchronous Sessions
2023-01-01 Dagnino, F; Giannini, P; Dezani-Ciancaglini, M
Doctrines, modalities and comonads
2021-01-01 Dagnino, Francesco; Rosolini, Giuseppe
Extending coinductive logic programming with co-facts
2017-01-01 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Fair Termination of Multiparty Sessions
2022-01-01 Ciccone, L.; Dagnino, F.; Padovani, L.
Flexible Coinduction
2021-01-13 Dagnino, Francesco
Flexible coinduction for infinite behaviour
2018-01-01 Dagnino, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| :DRHOP, A Platform Proposal for Online Charity | 1-gen-2018 | Dagnino, Francesco; Ribaudo, Marina | |
| A big step from finite to infinite computations | 1-gen-2020 | Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E. | |
| 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 heterogeneous coeffects | 1-gen-2023 | Bianchini, R; Dagnino, F; Giannini, P; Zucca, E | |
| A Java-like calculus with user-defined coeffects | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
| A Meta-theory for Big-step Semantics | 1-gen-2022 | Dagnino, Francesco | |
| 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. | |
| Coaxioms: Flexible coinductive definitions by inference systems | 1-gen-2019 | Dagnino, F. | |
| Coeffects for sharing and mutation | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco | |
| 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. | |
| Deconfined Global Types for Asynchronous Sessions | 1-gen-2023 | Dagnino, F; Giannini, P; Dezani-Ciancaglini, M | |
| Doctrines, modalities and comonads | 1-gen-2021 | Dagnino, Francesco; Rosolini, Giuseppe | |
| Extending coinductive logic programming with co-facts | 1-gen-2017 | Ancona, Davide; Dagnino, Francesco; Zucca, Elena | |
| Fair Termination of Multiparty Sessions | 1-gen-2022 | Ciccone, L.; Dagnino, F.; Padovani, L. | |
| Flexible Coinduction | 13-gen-2021 | Dagnino, Francesco | |
| Flexible coinduction for infinite behaviour | 1-gen-2018 | Dagnino, F. |