BIANCHINI, RICCARDO
BIANCHINI, RICCARDO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
A Java-like calculus with user-defined coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Asynchronous Global Types in Co-logic Programming
2021-01-01 Bianchini, R.; Dagnino, F.
Multi-Graded Featherweight Java
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; 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 | |
Asynchronous Global Types in Co-logic Programming | 1-gen-2021 | Bianchini, R.; Dagnino, F. | |
Multi-Graded Featherweight Java | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena |