default search action
Paola Giannini
Person information
- affiliation: Università del Piemonte Orientale, Alessandria, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j33]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. Fundam. Informaticae 192(1): 1-75 (2024) - [c61]Paola Giannini
, Giulio Duso
Coeffects for MiniJava: Cf-Mj. FTfJP@ECOOP 2024: 30-36 - [c60]Ilaria Castellani, Paola Giannini:
Towards a Semantic Characterisation of Global Type Well-formedness. PLACES@ETAPS 2024: 11-21 - 2023
- [j32]Ilaria Castellani
Event structure semantics for multiparty sessions. J. Log. Algebraic Methods Program. 131: 100844 (2023) - [j31]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Deconfined Global Types for Asynchronous Sessions. Log. Methods Comput. Sci. 19(1) (2023) - [j30]Riccardo Bianchini
Resource-Aware Soundness for Big-Step Semantics. Proc. ACM Program. Lang. 7(OOPSLA2): 1281-1309 (2023) - [j29]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
A Java-like calculus with heterogeneous coeffects. Theor. Comput. Sci. 971: 114063 (2023) - [c59]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Multi-Graded Featherweight Java. ECOOP 2023: 3:1-3:27 - [i7]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Multi-graded Featherweight Java. CoRR abs/2302.07782 (2023) - 2022
- [j28]Riccardo Bianchini
Coeffects for sharing and mutation. Proc. ACM Program. Lang. 6(OOPSLA2): 870-898 (2022) - [c58]Lavinia Egidi, Paola Giannini, Lorenzo Ventura:
Multiparty-session-types Coordination for Core Erlang. ICSOFT 2022: 532-541 - [c57]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
A Java-Like Calculus with User-Defined Coeffects. ICTCS 2022: 66-78 - [c56]Ilaria Castellani, Mariangiola Dezani-Ciancaglini
Asynchronous Sessions with Input Races. PLACES@ETAPS 2022: 12-23 - [i6]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Event structure semantics for multiparty sessions. CoRR abs/2201.00221 (2022) - [i5]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto:
Coeffects for Sharing and Mutation. CoRR abs/2209.07439 (2022) - 2021
- [c55]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Deconfined Global Types for Asynchronous Sessions. COORDINATION 2021: 41-60 - [i4]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Global types and event structure semantics for asynchronous multiparty sessions. CoRR abs/2102.00865 (2021) - [i3]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini:
Deconfined Global Types for Asynchronous Sessions. CoRR abs/2111.11984 (2021) - 2020
- [j27]Ilaria Castellani
Global types with internal delegation. Theor. Comput. Sci. 807: 128-153 (2020) - [c54]Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Deconfined Intersection Types in Java. Gabbrielli's Festschrift 2020: 3:1-3:25
2010 – 2019
- 2019
- [j26]Ilaria Castellani
Reversible sessions with flexible choices. Acta Informatica 56(7-8): 553-583 (2019) - [j25]Paola Giannini
Tracing sharing in an imperative pure calculus. Sci. Comput. Program. 172: 180-202 (2019) - [j24]Paola Giannini
Flexible recovery of uniqueness and immutability. Theor. Comput. Sci. 764: 145-172 (2019) - [c53]Ilaria Castellani
Event Structure Semantics for Multiparty Sessions. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 340-363 - [c52]Paola Giannini, Marco Servetto, Elena Zucca:
Tracing and Preventing Sharing and Mutation. ICTCS 2019: 190-203 - 2018
- [j23]Lorenzo Bettini
Java & Lambda: a Featherweight Story. Log. Methods Comput. Sci. 14(3) (2018) - [c51]Mariangiola Dezani-Ciancaglini, Paola Giannini
Intersection Types in Java: Back to the Future. Models, Mindsets, Meta 2018: 68-86 - [c50]Paola Giannini
A type and effect system for uniqueness and immutability. SAC 2018: 1038-1045 - [c49]Paola Giannini
A Syntactic Model of Mutation and Aliasing. DCM/ITRS 2018: 39-55 - [i2]Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus. CoRR abs/1803.05838 (2018) - [i1]Paola Giannini, Marco Servetto, Elena Zucca, James Cone:
Flexible recovery of uniqueness and immutability (Extended Version). CoRR abs/1807.00137 (2018) - 2017
- [j22]Paola Giannini, Albert Shaqiri:
A Provably Correct Compilation of Functional Languages into Scripting Languages. Sci. Ann. Comput. Sci. 27(1): 19-76 (2017) - [j21]Davide Ancona, Paola Giannini
Type safe incremental rebinding. Math. Struct. Comput. Sci. 27(2): 94-122 (2017) - [c48]Ilaria Castellani
Concurrent Reversible Sessions. CONCUR 2017: 30:1-30:17 - [c47]Paola Giannini
Tracing sharing in an imperative pure calculus: extended abstract. FTfJP@ECOOP 2017: 6:1-6:6 - [c46]Paola Giannini
A type and effect system for sharing. SAC 2017: 1513-1515 - 2016
- [c45]Paola Giannini, Marco Servetto, Elena Zucca:
Coupling catch clauses with local declarations. FTfJP@ECOOP 2016: 6 - [c44]Paola Giannini, Marco Servetto, Elena Zucca:
Types for Immutability and Aliasing Control. ICTCS 2016: 62-74 - [c43]Paola Giannini, Marco Servetto, Elena Zucca:
Runtime Checks as Nominal Types. ICTCS 2016: 75-87 - [c42]Paola Giannini
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework. MODELSWARD 2016: 368-376 - [c41]Paola Giannini
Initialize-and-catch. SAC 2016: 1819-1822 - [c40]Mariangiola Dezani-Ciancaglini
Reversible Multiparty Sessions with Checkpoints. EXPRESS/SOS 2016: 60-74 - 2015
- [j20]Adriana B. Compagnoni, Paola Giannini
A computational modeling language for complex laboratory experiments. Nano Commun. Networks 6(3): 103-117 (2015) - [j19]Paola Giannini
Interactions between Computer Science and Biology. Theor. Comput. Sci. 587: 1-2 (2015) - [c39]Davide Ancona, Paola Giannini
Constrained Polymorphic Types for a Calculus with Name Variables. TYPES 2015: 4:1-4:29 - [c38]Davide Ancona, Paola Giannini
Incremental Rebinding with Name Polymorphism. ICTCS 2015: 19-34 - [c37]Walter Cazzola
Formal Attributes Traceability in Modular Language Development Frameworks. ICTCS 2015: 119-134 - 2014
- [c36]Adriana B. Compagnoni, Paola Giannini, Christopher Kelley:
State-Sensitive Computational Modeling. BICT 2014 - 2013
- [j18]Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
Type Directed Semantics for the Calculus of Looping Sequences. Int. J. Softw. Informatics 7(4): 501-526 (2013) - [c35]Paola Giannini, Albert Shaqiri:
An Intermediate Language for Compilation to Scripting Languages. ICSOFT 2013: 92-103 - [c34]Paola Giannini
Compiling Functional to Scripting Languages. ICSOFT (Selected Papers) 2013: 114-130 - [c33]Adriana B. Compagnoni, Paola Giannini
A Calculus of Located Entities. DCM 2013: 41-56 - [e2]Paola Giannini, Erik P. de Vink:
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, CS2Bio 2012, Stockholm, Sweden, June 16, 2012. Electronic Notes in Theoretical Computer Science 293, Elsevier 2013 [contents] - 2012
- [j17]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
Standard Type Soundness for Agents and Artifacts. Sci. Ann. Comput. Sci. 22(2): 267-326 (2012) - [j16]Livio Bioglio, Mariangiola Dezani-Ciancaglini
Typed stochastic semantics for the calculus of looping sequences. Theor. Comput. Sci. 431: 165-180 (2012) - [c32]Davide Ancona, Paola Giannini, Elena Zucca:
Reconciling positional and nominal binding. ITRS 2012: 81-93 - [c31]Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions. MeCBIC 2012: 101-106 - [c30]Paola Giannini
Preface. CS2Bio 2012: 1-2 - 2011
- [j15]Mariangiola Dezani-Ciancaglini
Extending the lambda-calculus with unbind and rebind. RAIRO Theor. Informatics Appl. 45(1): 143-162 (2011) - [c29]Eva Sciacca
Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins. EvoBio 2011: 77-88 - [c28]Livio Bioglio, Mariangiola Dezani-Ciancaglini
A Calculus of Looping Sequences with Local Rules. DCM 2011: 43-58 - [c27]Paola Giannini, Jean Krivine:
Preface. CS2Bio@DisCoTec 2011: 1-2 - [e1]Paola Giannini, Jean Krivine:
The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June 9, 2011. Electronic Notes in Theoretical Computer Science 277, Elsevier 2011 [contents] - 2010
- [c26]Mariangiola Dezani-Ciancaglini
Intersection types for unbind and rebind. ITRS 2010: 45-58
2000 – 2009
- 2009
- [c25]Mariangiola Dezani-Ciancaglini
Intersection, Universally Quantified, and Reference Types. CSL 2009: 209-224 - [c24]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
A Calculus of Agents and Artifacts. ICSOFT (Selected Papers) 2009: 124-136 - [c23]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225 - [c22]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
The essence of static and dynamic bindings. ICTCS 2009: 99-106 - [c21]Mariangiola Dezani-Ciancaglini
A Type System for Required/Excluded Elements in CLS. DCM 2009: 38-48 - [c20]Mariangiola Dezani-Ciancaglini
A Type System for a Stochastic CLS. MeCBIC 2009: 91-105 - 2008
- [j14]Ferruccio Damiani
A type safe state abstraction for coordination in Java -like languages. Acta Informatica 45(7-8): 479-536 (2008) - [j13]Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz:
A Calculus of Evolving Objects. Sci. Ann. Comput. Sci. 18: 63-98 (2008) - [j12]Ferruccio Damiani, Elena Giachino, Paola Giannini:
Alias Types and Effects for "Environment-aware" Computations. Fundam. Informaticae 88(1-2): 63-107 (2008) - 2007
- [j11]Davide Ancona, Christopher Anderson, Ferruccio Damiani
A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): 13 (2007) - 2006
- [j10]Paola Giannini
Safe Ambients: Abstract machine and distributed implementation. Sci. Comput. Program. 59(3): 209-249 (2006) - [c19]Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola:
On state classes and their dynamic semantics. ICSOFT (1) 2006: 5-12 - [c18]Ferruccio Damiani, Elena Giachino
On State Classes and Their Dynamic Semantics. ICSOFT (Selected Papers) 2006: 84-96 - 2005
- [c17]Christopher Anderson, Paola Giannini
Towards Type Inference for JavaScript. ECOOP 2005: 428-452 - 2004
- [j9]Ferruccio Damiani
On Re-classification and Multi-threading. J. Object Technol. 3(11): 5-30 (2004) - [c16]Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304 - [c15]Christopher Anderson, Paola Giannini
Type Checking for JavaScript. WOOD 2004: 37-58 - 2003
- [c14]Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110 - [c13]Ferruccio Damiani
Alias types for "environment-aware" computations. WOOD 2003: 130-150 - 2002
- [j8]Mario Coppo, Ferruccio Damiani
Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272(1-2): 69-112 (2002) - [j7]Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini
More dynamic object reclassification: Fickle||. ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002) - [c12]Viviana Bono
A Calculus for "Environment-Aware" Computation. F-WAN@ICALP 2002: 98-115 - 2001
- [c11]Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149 - [c10]Davide Ancona, Christopher Anderson, Ferruccio Damiani
An Effective Translation of Fickle into Java. ICTCS 2001: 215-234 - [c9]Davide Ancona, Christopher Anderson, Ferruccio Damiani
A type preserving translation of Fickle into Java. TOSCA 2001: 69-82 - 2000
- [j6]Ferruccio Damiani, Paola Giannini
Automatic useless-code elimination for HOT functional programs. J. Funct. Program. 10(6): 509-559 (2000) - [c8]Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
Type-Based Useless-Code Elimination for Functional Programs. SAIG 2000: 172-189
1990 – 1999
- 1999
- [j5]Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
A filter model for mobile processes. Math. Struct. Comput. Sci. 9(1): 63-101 (1999) - 1997
- [c7]Mario Coppo, Ferruccio Damiani
On Strictness and Totality. TACS 1997: 138-164 - [c6]Ferruccio Damiani
An Inference Algorithm for Strictness. TLCA 1997: 129-146 - 1996
- [c5]Mario Coppo, Ferruccio Damiani, Paola Giannini
Refinement Types for Program Analysis. SAS 1996: 143-158 - 1995
- [j4]Mario Coppo, Paola Giannini
Principal Types and Unification for a Simple Intersection Type System. Inf. Comput. 122(1): 70-96 (1995) - 1994
- [j3]Paola Giannini
A Type Inference Algorithm for a Stratified Polymorphic Type Discipline. Inf. Comput. 109(1/2): 115-173 (1994) - [c4]Ferruccio Damiani, Paola Giannini
A Decidable Intersection Type System based on Relevance. TACS 1994: 707-725 - 1993
- [j2]Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca:
Type Inference: Some Results, Some Problems. Fundam. Informaticae 19(1/2): 87-125 (1993) - 1992
- [c3]Mario Coppo, Paola Giannini
A Complete Type Inference Algorithm for Simple Intersection Types. CAAP 1992: 102-123 - 1991
- [c2]Paola Giannini
Type Inference in Polymorphic Type Discipline. TACS 1991: 18-37
1980 – 1989
- 1988
- [c1]Paola Giannini, Simona Ronchi Della Rocca:
Characterization of typings in polymorphic type discipline. LICS 1988: 61-70 - 1984
- [j1]Paola Giannini
Effectively Given Domains and Lambda-Calculus Models. Inf. Control. 62(1): 36-63 (1984)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: