Follow
Francesco Dagnino
Francesco Dagnino
Verified email at dibris.unige.it - Homepage
Title
Cited by
Cited by
Year
Generalizing inference systems by coaxioms
D Ancona, F Dagnino, E Zucca
26th European Symposium on Programming, ESOP 2017, 29-55, 2017
312017
Coaxioms: flexible coinductive definitions by inference systems
F Dagnino
Logical Methods in Computer Science 15 (1), 26:1-26:48, 2019
232019
Reasoning on divergent computations with coaxioms
D Ancona, F Dagnino, E Zucca
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
202017
Deconfined global types for asynchronous sessions
F Dagnino, P Giannini, M Dezani-Ciancaglini
Logical Methods in Computer Science 19, 2023
152023
Modeling Infinite Behaviour by Corules
D Ancona, F Dagnino, E Zucca
32nd European Conference on Object-Oriented Programming, ECOOP 2018 109, 21 …, 2018
142018
Foundations of regular coinduction
F Dagnino
Logical Methods in Computer Science 17, 2021
132021
Soundness Conditions for Big-Step Semantics.
F Dagnino, V Bono, E Zucca, M Dezani-Ciancaglini
ESOP, 169-196, 2020
112020
Logical foundations of quantitative equality
F Dagnino, F Pasquali
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
92022
Flexible coinductive logic programming
F Dagnino, D Ancona, E Zucca
Theory and Practice of Logic Programming 20 (6), 818-833, 2020
92020
Extending Coinductive Logic Programming with Co-Facts
D Ancona, F Dagnino, E Zucca
Electronic Proceedings in Theoretical Computer Science 258 (CoALP-Ty 2016 …, 2017
92017
Doctrines, modalities and comonads
F Dagnino, G Rosolini
Mathematical Structures in Computer Science 31 (7), 769-798, 2021
72021
Flexible Coinduction.
F Dagnino
University of Genoa, Italy, 2021
72021
Sound regular corecursion in coFJ
D Ancona, P Barbieri, F Dagnino, E Zucca
arXiv preprint arXiv:2005.14085, 2020
72020
Coeffects for sharing and mutation
R Bianchini, F Dagnino, P Giannini, E Zucca, M Servetto
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 870-898, 2022
62022
A meta-theory for big-step semantics
F Dagnino
ACM Transactions on Computational Logic (TOCL) 23 (3), 1-50, 2022
62022
Multi-Graded Featherweight Java
B Riccardo, D Francesco, P Giannini, Z Elena
37th European Conference on ObjectOriented Programming, LEIBNIZ …, 2023
5*2023
A Java-like calculus with user-defined coeffects
R Bianchini, F Dagnino, P Giannini, E Zucca
CEUR Workshop Proceedings 3284 (urn: nbn: de: 0074-3284-4), 66-78, 2022
52022
A big step from finite to infinite computations
D Ancona, F Dagnino, J Rot, E Zucca
Science of Computer Programming 197, 102492, 2020
52020
A formalism for specification of Java API interfaces
D Ancona, F Dagnino, L Franceschini
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 24-26, 2018
52018
A fibrational tale of operational logical relations
F Dagnino, F Gavazzo
FSCD 2022-7th International Conference on Formal Structures for Computation …, 2022
42022
The system can't perform the operation now. Try again later.
Articles 1–20