Francesco Dagnino
Università degli Studi di Genova
H-index: 8
Europe-Italy
Top articles of Francesco Dagnino
Fair termination of multiparty sessions
36th European Conference on Object-Oriented Programming (ECOOP 2022)
2022/6/23
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
Logical Methods in Computer Science
2024/4/4
Francesco Dagnino
H-Index: 5
Francesco Gavazzo
H-Index: 5
Cauchy-completions and the rule of unique choice in relational doctrines
arXiv preprint arXiv:2402.19266
2024/2/29
Francesco Dagnino
H-Index: 5
: Asynchronous global types in co-logic programming
Science of Computer Programming
2023/1/1
Francesco Dagnino
H-Index: 5
Quotients and Extensionality in Relational Doctrines
2023
Francesco Dagnino
H-Index: 5
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
2023/11/23
Francesco Dagnino
H-Index: 5
Eugenio Moggi
H-Index: 12
Quotients, Extensionality and Choice in Relational Doctrines
2023/11/10
Francesco Dagnino
H-Index: 5
Resource-Aware Soundness for Big-Step Semantics
Proceedings of the ACM on Programming Languages
2023/10/16
Francesco Dagnino
H-Index: 5
Elena Zucca
H-Index: 9
A Java-like calculus with heterogeneous coeffects
Theoretical Computer Science
2023/9/6
Francesco Dagnino
H-Index: 5
Elena Zucca
H-Index: 9
Deconfined global types for asynchronous sessions
Logical Methods in Computer Science
2023/1/13
Francesco Dagnino
H-Index: 5
Mariangiola Dezani-Ciancaglini
H-Index: 20
Multi-Graded Featherweight Java
arXiv preprint arXiv:2302.07782
2023/2/15
Francesco Dagnino
H-Index: 5
Elena Zucca
H-Index: 9
Ain't No Stopping Us Monitoring Now
arXiv preprint arXiv:2211.11544
2022/11/21
Relational doctrines, monads and lax algebras
2022/11/20
Francesco Dagnino
H-Index: 5
Coeffects for sharing and mutation
Proceedings of the ACM on Programming Languages
2022/10/31
Francesco Dagnino
H-Index: 5
Elena Zucca
H-Index: 9
Logical foundations of quantitative equality
2022/8/2
Francesco Dagnino
H-Index: 5
A meta-theory for big-step semantics
ACM Transactions on Computational Logic (TOCL)
2022/4/6
Francesco Dagnino
H-Index: 5
A Java-like calculus with user-defined coeffects
CEUR Workshop Proceedings
2022
Quantitative Equality in Substructural Logic via Lipschitz Doctrines
arXiv preprint arXiv:2110.05388
2021/10/11
Francesco Dagnino
H-Index: 5
Foundations of regular coinduction
Logical Methods in Computer Science
2021/10/1
Francesco Dagnino
H-Index: 5
Doctrines, modalities and comonads
Mathematical Structures in Computer Science
2021/8
Francesco Dagnino
H-Index: 5
Giuseppe Rosolini
H-Index: 10
Co-Authors
