Paola Giannini - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Paola Giannini' as author, editor, or advisor:

Formal Attributes Traceability in Modular Language Development FrameworksWalter Cazzola, Paola Giannini, Albert Shaqiri. ENTCS, 322:119-134, 2016. [doi]
Deconfined Intersection Types in JavaMariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri. BIRTHDAY 2020: [doi]
Type Directed Semantics for the Calculus of Looping SequencesLivio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina. ijsi, 7(4):501-526, 2013. [doi]
More dynamic object reclassification: Fickle::||::Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini. TOPLAS, 24(2):153-191, 2002. [doi]
A type and effect system for sharingPaola Giannini, Marco Servetto, Elena Zucca. SAC 2017: 1513-1515 [doi]
Strictness, totality, and non-standard-type inferenceMario Coppo, Ferruccio Damiani, Paola Giannini. TCS, 272(1-2):69-112, 2002. [doi]
Annotated Stochastic Context Free Grammars for Analysis and Synthesis of ProteinsEva Sciacca, Salvatore Spinella, Dino Ienco, Paola Giannini. evoW 2011: 77-88 [doi]
Event structure semantics for multiparty sessionsIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. jlap, 131:100844, February 2023. [doi]
Refined Effects for Unanticipated Object Re-classification: Fickle::3::Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini. ictcs 2003: 97-110 [doi]
Coupling catch clauses with local declarationsPaola Giannini, Marco Servetto, Elena Zucca. ECOOP 2016: 6 [doi]
A type preserving translation of Fickle into JavaDavide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca. ENTCS, 62:69-82, 2001. [doi]
A Type Inference Algorithm for a Stratified Polymorphic Type DisciplinePaola Giannini, Simona Ronchi Della Rocca. iandc, 109(1/2):115-173, February/March 1994.
On state classes and their dynamic semanticsFerruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola. ICSOFT 2006: 5-12
A Java-Like Calculus with User-Defined CoeffectsRiccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca. ictcs 2022: 66-78 [doi]
Alias types for environment-aware computationsFerruccio Damiani, Paola Giannini. ENTCS, 82(7):130-150, 2003. [doi]
The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June 9, 2011Paola Giannini, Jean Krivine, editors, Volume 277 of Electronic Notes in Theoretical Computer Science, Elsevier, 2011. [doi]
Multiparty-session-types Coordination for Core ErlangLavinia Egidi, Paola Giannini, Lorenzo Ventura. ICSOFT 2022: 532-541 [doi]
Standard Type Soundness for Agents and ArtifactsFerruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli. cuza, 22(2):267-326, 2012. [doi]
A provenly correct translation of Fickle into JavaDavide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca. TOPLAS, 29(2):13, 2007. [doi]
Incremental Rebinding with Name PolymorphismDavide Ancona, Paola Giannini, Elena Zucca. ENTCS, 322:19-34, 2016. [doi]
Interactions between Computer Science and BiologyPaola Giannini, Emanuela Merelli, Angelo Troina. TCS, 587:1-2, 2015. [doi]
The essence of static and dynamic bindingsMariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca. ictcs 2009: 99-106
A Complete Type Inference Algorithm for Simple Intersection TypesMario Coppo, Paola Giannini. caap 1992: 102-123
An Inference Algorithm for StrictnessFerruccio Damiani, Paola Giannini. tlca 1997: 129-146
Type Checking for JavaScriptChristopher Anderson, Paola Giannini. ENTCS, 138(2):37-58, 2005. [doi]
Towards Type Inference for JavaScriptChristopher Anderson, Paola Giannini, Sophia Drossopoulou. ECOOP 2005: 428-452 [doi]
State-Sensitive Computational ModelingAdriana B. Compagnoni, Paola Giannini, Christopher Kelley. BIONETICS 2015: [doi]
On State Classes and Their Dynamic SemanticsFerruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola. ICSOFT 2008: 84-96 [doi]
Deconfined Global Types for Asynchronous SessionsFrancesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini. coordination 2021: 41-60 [doi]
Extending the lambda-calculus with unbind and rebindMariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca. ita, 45(1):143-162, 2011. [doi]
Alias Types and Effects for Environment-aware ComputationsFerruccio Damiani, Elena Giachino, Paola Giannini. FUIN, 88(1-2):63-107, 2008. [doi]
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, CS2Bio 2012, Stockholm, Sweden, June 16, 2012Paola Giannini, Erik P. de Vink, editors, Volume 293 of Electronic Notes in Theoretical Computer Science, Elsevier, 2013. [doi]
Initialize-and-catchPaola Giannini, Marco Servetto, Elena Zucca. SAC 2016: 1819-1822 [doi]
Intersection Types in Java: Back to the FutureMariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri. BIRTHDAY 2019: 68-86 [doi]
Global types with internal delegationIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne. TCS, 807:128-153, 2020. [doi]
Tracing sharing in an imperative pure calculusPaola Giannini, Tim Richter, Marco Servetto, Elena Zucca. SCP, 172:180-202, 2019. [doi]
Java & Lambda: a Featherweight StoryLorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri. lmcs, 14(3), 2018. [doi]
Safe Ambients: Abstract machine and distributed implementationPaola Giannini, Davide Sangiorgi, Andrea Valente. SCP, 59(3):209-249, 2006. [doi]
Tracing and Preventing Sharing and MutationPaola Giannini, Marco Servetto, Elena Zucca. ictcs 2019: 190-203 [doi]
Runtime Checks as Nominal TypesPaola Giannini, Marco Servetto, Elena Zucca. ictcs 2016: 75-87 [doi]
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and ArtifactsFerruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli. ICSOFT 2009: 218-225
A computational modeling language for complex laboratory experimentsAdriana B. Compagnoni, Paola Giannini, Christopher Kelley. ncn, 6(3):103-117, 2015. [doi]
Intersection, Universally Quantified, and Reference TypesMariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca. csl 2009: 209-224 [doi]
Concurrent Reversible SessionsIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. concur 2017: [doi]
Characterization of typings in polymorphic type disciplinePaola Giannini, Simona Ronchi Della Rocca. lics 1988: 61-70
Fickle : Dynamic Object Re-classificationSophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini. ECOOP 2001: 130-149 [doi]
Typed stochastic semantics for the calculus of looping sequencesLivio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina. TCS, 431:165-180, 2012. [doi]
Multi-Graded Featherweight JavaRiccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca. ECOOP 2023: [doi]
A Calculus of Evolving ObjectsMariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz. cuza, 18:63-98, 2008. [doi]
Type Inference: Some Results, Some ProblemsPaola Giannini, Furio Honsell, Simona Ronchi Della Rocca. FUIN, 19(1/2):87-125, 1993.
Principal Types and Unification for a Simple Intersection Type SystemMario Coppo, Paola Giannini. iandc, 122(1):70-96, October 1995.
A type and effect system for uniqueness and immutabilityPaola Giannini, Marco Servetto, Elena Zucca. SAC 2018: 1038-1045 [doi]
Event Structure Semantics for Multiparty SessionsIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. BIRTHDAY 2019: 340-363 [doi]
Effectively Given Domains and Lambda-Calculus ModelsPaola Giannini, Giuseppe Longo. iandc, 62(1):36-63, July 1984.
On Strictness and TotalityMario Coppo, Ferruccio Damiani, Paola Giannini. tacs 1997: 138-164
An Intermediate Language for Compilation to Scripting LanguagesPaola Giannini, Albert Shaqiri. ICSOFT 2013: 92-103 [doi]
A Calculus for Environment-Aware ComputationViviana Bono, Ferruccio Damiani, Paola Giannini. ENTCS, 66(3):98-115, 2002. [doi]
An Effective Translation of Fickle into JavaDavide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca. ictcs 2001: 215-234 [doi]
Coeffects for sharing and mutationRiccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto. PACMPL, 6(OOPSLA2):870-898, 2022. [doi]
A Provably Correct Compilation of Functional Languages into Scripting LanguagesPaola Giannini, Albert Shaqiri. cuza, 27(1):19-76, 2017. [doi]
A type safe state abstraction for coordination in Java -like languagesFerruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou. ACTA, 45(7-8):479-536, 2008. [doi]
Automatic useless-code elimination for HOT functional programsFerruccio Damiani, Paola Giannini. JFP, 10(6):509-559, 2000.
Type Inference in Polymorphic Type DisciplinePaola Giannini, Simona Ronchi Della Rocca. tacs 1991: 18-37
A Java-like calculus with heterogeneous coeffectsRiccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca. TCS, 971:114063, September 2023. [doi]
PrefacePaola Giannini, Jean Krivine. ENTCS, 277:1-2, 2011. [doi]
A Calculus of Agents and ArtifactsFerruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli. ICSOFT 2011: 124-136 [doi]
Type-Based Useless-Code Elimination for Functional ProgramsStefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini. saig 2000: 172-189 [doi]
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC FrameworkPaola Giannini, Anna-Lena Lamprecht, Tiziana Margaria. modelsward 2016: 368-376 [doi]
Compiling Functional to Scripting LanguagesPaola Giannini, Albert Shaqiri. ICSOFT 2014: 114-130 [doi]
Tracing sharing in an imperative pure calculus: extended abstractPaola Giannini, Marco Servetto, Elena Zucca. ECOOP 2017: [doi]
Deconfined Global Types for Asynchronous SessionsFrancesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini. lmcs, 19(1), 2023. [doi]
A filter model for mobile processesFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini. mscs, 9(1):63-101, 1999.
Type safe incremental rebindingDavide Ancona, Paola Giannini, Elena Zucca. mscs, 27(2):94-122, 2017. [doi]
On Re-classification and Multi-threadingFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini. jot, 3(11):5-30, 2004. [doi]
Refinement Types for Program AnalysisMario Coppo, Ferruccio Damiani, Paola Giannini. SAS 1996: 143-158
Re-classification and multi-threading: ::::Fickle::::::MT::Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini. SAC 2004: 1297-1304 [doi]
Resource-Aware Soundness for Big-Step SemanticsRiccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca. PACMPL, 7(OOPSLA2):1281-1309, October 2023. [doi]
Constrained Polymorphic Types for a Calculus with Name VariablesDavide Ancona, Paola Giannini, Elena Zucca. TYPES 2018: [doi]
PrefacePaola Giannini, Erik P. de Vink. ENTCS, 293:1-2, 2013. [doi]
A Decidable Intersection Type System based on RelevanceFerruccio Damiani, Paola Giannini. tacs 1994: 707-725
Flexible recovery of uniqueness and immutabilityPaola Giannini, Marco Servetto, Elena Zucca, James Cone. TCS, 764:145-172, 2019. [doi]
Reversible sessions with flexible choicesIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. ACTA, 56(7-8):553-583, 2019. [doi]

runs on WebDSL