DAGNINO, FRANCESCO

DAGNINO, FRANCESCO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.011 secondi).
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-2023 Dagnino, F; Giannini, P; Dezani-Ciancaglini, M
Deconfined Global Types for Asynchronous Sessions 1-gen-2021 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.