IRIS

GIANNINI, PAOLA

GIANNINI, PAOLA  

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

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.01 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
A type and effect system for sharing 1-gen-2017 Giannini, Paola; Servetto, Marco; Zucca, Elena
A type and effect system for uniqueness and immutability 1-gen-2018 Giannini, Paola; Servetto, Marco; Zucca, Elena
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
Resource-Aware Soundness for Big-Step Semantics 1-gen-2023 Bianchini, R.; Dagnino, F.; Giannini, P.; Zucca, E.
Tracing and preventing sharing and mutation 1-gen-2019 Giannini, P.; Servetto, M.; Zucca, E.
Tracing sharing in an imperative pure calculus (extended abstract) 1-gen-2017 Giannini, Paola; Servetto, Marco; Zucca, Elena