GIANNINI, PAOLA
GIANNINI, PAOLA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.005 secondi).
A Java-like calculus with user-defined coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
A type and effect system for sharing
2017-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
A type and effect system for uniqueness and immutability
2018-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
Multi-Graded Featherweight Java
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Tracing and preventing sharing and mutation
2019-01-01 Giannini, P.; Servetto, M.; Zucca, E.
Tracing sharing in an imperative pure calculus (extended abstract)
2017-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| Multi-Graded Featherweight Java | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
| 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 |