IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
Tracing sharing in an imperative pure calculus (extended abstract) 1-gen-2017 Giannini, Paola; Servetto, Marco; 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
Tracing and preventing sharing and mutation 1-gen-2019 Giannini, P.; Servetto, M.; Zucca, E.
A Java-like calculus with user-defined coeffects 1-gen-2022 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
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.
Multi-Graded Featherweight Java 1-gen-2023 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
A Java-like calculus with heterogeneous coeffects 1-gen-2023 Bianchini, R; Dagnino, F; Giannini, P; Zucca, E
Mostrati risultati da 1 a 9 di 9
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