Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 99
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
Mostrati risultati da 1 a 20 di 99
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