Articles with public access mandates - Paola GianniniLearn more
Not available anywhere: 3
Type safe incremental rebinding
D Ancona, P Giannini, E Zucca
Mathematical Structures in Computer Science 27 (2), 94-122, 2017
Mandates: Government of Italy
Initialize-and-catch
P Giannini, M Servetto, E Zucca
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1819-1822, 2016
Mandates: Government of Italy
A computational modeling language for complex laboratory experiments
A Compagnoni, P Giannini, C Kelley
Nano Communication Networks 6 (3), 103-117, 2015
Mandates: US National Institutes of Health, Government of Italy
Available somewhere: 19
Reversible sessions with flexible choices
I Castellani, M Dezani-Ciancaglini, P Giannini
Acta Informatica 56 (7), 553-583, 2019
Mandates: European Commission
Global types with internal delegation
I Castellani, M Dezani-Ciancaglini, P Giannini, R Horne
Theoretical Computer Science 807, 128-153, 2020
Mandates: European Commission
Deconfined global types for asynchronous sessions
F Dagnino, P Giannini, M Dezani-Ciancaglini
Logical Methods in Computer Science 19, 2023
Mandates: Government of Italy
Java & lambda: a featherweight story
L Bettini, V Bono, M Dezani-Ciancaglini, P Giannini, B Venneri
Logical Methods in Computer Science 14, 2018
Mandates: European Commission
Event structure semantics for multiparty sessions
I Castellani, M Dezani-Ciancaglini, P Giannini
Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019
Mandates: European Commission
Intersection types in Java: Back to the future
M Dezani-Ciancaglini, P Giannini, B Venneri
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019
Mandates: European Commission
Concurrent reversible sessions
I Castellani, M Dezani-Ciancaglini, P Giannini
28th International Conference on Concurrency Theory (CONCUR 2017), 30: 1-30: 17, 2017
Mandates: European Commission
Event structure semantics for multiparty sessions
I Castellani, M Dezani-Ciancaglini, P Giannini
Journal of Logical and Algebraic Methods in Programming 131, 100844, 2023
Mandates: Agence Nationale de la Recherche, Government of Italy
A Calculus of Evolving Objects.
M Dezani-Ciancaglini, P Giannini, O Nierstrasz
Scientific Annals of Computer Science 18, 2008
Mandates: Swiss National Science Foundation
Coeffects for sharing and mutation
R Bianchini, F Dagnino, P Giannini, E Zucca, M Servetto
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 870-898, 2022
Mandates: Government of Italy
Formal attributes traceability in modular language development frameworks
W Cazzola, P Giannini, A Shaqiri
Electronic Notes in Theoretical Computer Science 322, 119-134, 2016
Mandates: Government of Italy
A Java-Like Calculus with User-Defined Coeffects.
R Bianchini, F Dagnino, P Giannini, E Zucca
ICTCS, 66-78, 2022
Mandates: Government of Italy
A Java-like calculus with heterogeneous coeffects
R Bianchini, F Dagnino, P Giannini, E Zucca
Theoretical Computer Science 971, 114063, 2023
Mandates: Government of Italy
Incremental rebinding with name polymorphism
D Ancona, P Giannini, E Zucca
Electronic Notes in Theoretical Computer Science 322, 19-34, 2016
Mandates: Government of Italy
State-sensitive computational modeling
A Compagnoni, P Giannini, C Kelley
Proceedings of the 8th International Conference on Bioinspired Information …, 2014
Mandates: US National Institutes of Health, Government of Italy
Global Types for Agent Interaction Protocols
F Bergenti, L Galliera, P Giannini, S Monica, R Nazzari
Mandates: Government of Italy
Multiparty-session-types Coordination for Core Erlang.
L Egidi, P Giannini, L Ventura
ICSOFT, 532-541, 2022
Mandates: Government of Italy
Publication and funding information is determined automatically by a computer program