DAGNINO, FRANCESCO

DAGNINO, FRANCESCO  

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

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.082 secondi).
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.
Sound Regular Corecursion in coFJ 1-gen-2020 Ancona, Davide; Barbieri, Pietro; Dagnino, Francesco; Zucca, Elena
Soundness Conditions for Big-Step Semantics 1-gen-2020 Dagnino, F.; Bono, V.; Zucca, E.; Dezani-Ciancaglini, M.
Towards a model of corecursion with default 1-gen-2016 Ancona, Davide; Dagnino, Francesco; Zucca, Elena