GIANNINI, PAOLA
GIANNINI, PAOLA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.002 secondi).
A Java-like calculus with heterogeneous coeffects
2023-01-01 Bianchini, R; Dagnino, F; Giannini, P; Zucca, E
Coeffects for sharing and mutation
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco
Resource-Aware Soundness for Big-Step Semantics
2023-01-01 Bianchini, R.; Dagnino, F.; Giannini, P.; Zucca, E.
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 | |
Coeffects for sharing and mutation | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco | |
Resource-Aware Soundness for Big-Step Semantics | 1-gen-2023 | Bianchini, R.; Dagnino, F.; Giannini, P.; Zucca, E. |