IRIS

BIANCHINI, RICCARDO

BIANCHINI, RICCARDO  

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

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.005 secondi).
Titolo Data di pubblicazione Autore(i) File
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
Asynchronous Global Types in Co-logic Programming 1-gen-2021 Bianchini, R.; Dagnino, F.
Coeffects for sharing and mutation 1-gen-2022 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco
Multi-Graded Featherweight Java 1-gen-2023 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
QueryAGT: Asynchronous global types in co-logic programming[Formula presented] 1-gen-2023 Bianchini, R.; Dagnino, F.
Resource-Aware Soundness for Big-Step Semantics 1-gen-2023 Bianchini, R.; Dagnino, F.; Giannini, P.; Zucca, E.
Resource-awareness for Java-like languages and beyond 23-apr-2024 Bianchini, Riccardo