Sfoglia per Autore
A Java-like calculus with heterogeneous coeffects
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Resource-Aware Soundness for Big-Step Semantics
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Multi-Graded Featherweight Java
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Deconfined Global Types for Asynchronous Sessions
2023-01-01 Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola
Event structure semantics for multiparty sessions
2023-01-01 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
Coeffects for sharing and mutation
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco
A Java-like Calculus with User-Defined Coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Asynchronous Sessions with Input Races
2022-01-01 Castellani, I.; Dezani-Ciancaglini, M.; Giannini, P.
Event structure semantics for multiparty sessions (Extended Version)
2022-01-01 Castellani, Ilaria; Dezani(-)Ciancaglini, Mariangiola; Giannini, Paola
Multiparty-session-types Coordination for Core Erlang
2022-01-01 Egidi, L; Giannini, P; Ventura, L
Deconfined Global Types for Asynchronous Sessions
2021-01-01 Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M.
Global types and event structure semantics for asynchronous multiparty sessions
2021-01-01 Castellani, Ilaria; Dezani(-)Ciancaglini, Mariangiola; Giannini, Paola
Global types with internal delegation
2020-01-01 Castellani, I.; Dezani-Ciancaglini, M.; Giannini, P.; Horne, R.
Deconfined intersection types in java
2020-01-01 Dezani-Ciancaglini, M.; Giannini, P.; Venneri, B.
Flexible recovery of uniqueness and immutability
2019-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena; Cone, James
Reversible sessions with flexible choices
2019-01-01 Castellani, I.; Dezani-Ciancaglini, M.; Giannini, P.
Intersection Types in Java: Back to the Future
2019-01-01 Dezani-Ciancaglini, M.; Giannini, P.; Venneri, B.
A Syntactic Model of Mutation and Aliasing
2019-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
Tracing sharing in an imperative pure calculus
2019-01-01 Giannini, Paola; Richter, Tim; Servetto, Marco; Zucca, Elena
Event Structure Semantics for Multiparty Sessions
2019-01-01 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Java-like calculus with heterogeneous coeffects | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
Resource-Aware Soundness for Big-Step Semantics | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
Multi-Graded Featherweight Java | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
Deconfined Global Types for Asynchronous Sessions | 1-gen-2023 | Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola | |
Event structure semantics for multiparty sessions | 1-gen-2023 | Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola | |
Coeffects for sharing and mutation | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco | |
A Java-like Calculus with User-Defined Coeffects | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
Asynchronous Sessions with Input Races | 1-gen-2022 | Castellani, I.; Dezani-Ciancaglini, M.; Giannini, P. | |
Event structure semantics for multiparty sessions (Extended Version) | 1-gen-2022 | Castellani, Ilaria; Dezani(-)Ciancaglini, Mariangiola; Giannini, Paola | |
Multiparty-session-types Coordination for Core Erlang | 1-gen-2022 | Egidi, L; Giannini, P; Ventura, L | |
Deconfined Global Types for Asynchronous Sessions | 1-gen-2021 | Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M. | |
Global types and event structure semantics for asynchronous multiparty sessions | 1-gen-2021 | Castellani, Ilaria; Dezani(-)Ciancaglini, Mariangiola; Giannini, Paola | |
Global types with internal delegation | 1-gen-2020 | Castellani, I.; Dezani-Ciancaglini, M.; Giannini, P.; Horne, R. | |
Deconfined intersection types in java | 1-gen-2020 | Dezani-Ciancaglini, M.; Giannini, P.; Venneri, B. | |
Flexible recovery of uniqueness and immutability | 1-gen-2019 | Giannini, Paola; Servetto, Marco; Zucca, Elena; Cone, James | |
Reversible sessions with flexible choices | 1-gen-2019 | Castellani, I.; Dezani-Ciancaglini, M.; Giannini, P. | |
Intersection Types in Java: Back to the Future | 1-gen-2019 | Dezani-Ciancaglini, M.; Giannini, P.; Venneri, B. | |
A Syntactic Model of Mutation and Aliasing | 1-gen-2019 | Giannini, Paola; Servetto, Marco; Zucca, Elena | |
Tracing sharing in an imperative pure calculus | 1-gen-2019 | Giannini, Paola; Richter, Tim; Servetto, Marco; Zucca, Elena | |
Event Structure Semantics for Multiparty Sessions | 1-gen-2019 | Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile