GIANNINI, Paola
GIANNINI, Paola
Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica
A calculus for ``environment-aware'' computation
2002-01-01 V., Bono; F., Damiani; Giannini, Paola
A Calculus of Agents and Artifacts
2011-01-01 F., Damiani; Giannini, Paola; A., Ricci; M., Viroli
A Calculus of Evolving Objects
2008-01-01 MARIANGIOLA DEZANI, Ciancaglini; Giannini, Paola
A Calculus of Evolving Objects
2008-01-01 MARIANGIOLA DEZANI, Ciancaglini; Giannini, Paola; Oscar, Nierstrasz
A Calculus of Located Entities
2014-01-01 A., Compagnoni; Giannini, Paola; C., Kim; M., Milideo; V., Sharma
A Calculus of Looping Sequences with Local Rules
2012-01-01 Bioglio, L; Dezani Ciancaglini, M; Giannini, Paola; Troina, A.
A Complete Type Inference Algorithm for Simple Intersection Types
1992-01-01 M., Coppo; Giannini, Paola
A computational modeling language for complex laboratory experiments
2015-01-01 Compagnoni, Adriana; Giannini, Paola; Kelley, Christopher
A Decidable Intersection Type System based on Relevance
1994-01-01 F., Damiani; Giannini, Paola
A Filter Model for Mobile Processes
1999-01-01 Damiani, F.; Dezani, M.; Giannini, Paola
A Java-like calculus with heterogeneous coeffects
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
A Java-like Calculus with User-Defined Coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
A provably correct compilation of functional languages into scripting languages
2017-01-01 Giannini, Paola; Albert, Shaqiri
A provenly correct translation of Fickle into Java
2007-01-01 Ancona, D; Anderson, C; Damiani, F; Drossopoipou, S; Giannini, Paola; Zucca, E.
A State Abstraction for Coordination in Javalike Languages
2006-01-01 Damiani, F; E., Giachino; Giannini, Paola; N., Cameron; S., Drossopoulou
A Syntactic Model of Mutation and Aliasing
2019-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
A type and effect system for sharing
2017-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
A type and effect system for uniqueness and immutability
2018-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline
1994-01-01 Giannini, Paola; SIMONA RONCHI DELLA, Rocca
A type preserving translation of Fickle into Java
2002-01-01 D., Ancona; C., Anderson; F., Damiani; S., Drossopoulou; Giannini, Paola; E., Zucca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A calculus for ``environment-aware'' computation | 1-gen-2002 | V., Bono; F., Damiani; Giannini, Paola | |
| A Calculus of Agents and Artifacts | 1-gen-2011 | F., Damiani; Giannini, Paola; A., Ricci; M., Viroli | |
| A Calculus of Evolving Objects | 1-gen-2008 | MARIANGIOLA DEZANI, Ciancaglini; Giannini, Paola | |
| A Calculus of Evolving Objects | 1-gen-2008 | MARIANGIOLA DEZANI, Ciancaglini; Giannini, Paola; Oscar, Nierstrasz | |
| A Calculus of Located Entities | 1-gen-2014 | A., Compagnoni; Giannini, Paola; C., Kim; M., Milideo; V., Sharma | |
| A Calculus of Looping Sequences with Local Rules | 1-gen-2012 | Bioglio, L; Dezani Ciancaglini, M; Giannini, Paola; Troina, A. | |
| A Complete Type Inference Algorithm for Simple Intersection Types | 1-gen-1992 | M., Coppo; Giannini, Paola | |
| A computational modeling language for complex laboratory experiments | 1-gen-2015 | Compagnoni, Adriana; Giannini, Paola; Kelley, Christopher | |
| A Decidable Intersection Type System based on Relevance | 1-gen-1994 | F., Damiani; Giannini, Paola | |
| A Filter Model for Mobile Processes | 1-gen-1999 | Damiani, F.; Dezani, M.; Giannini, Paola | |
| A Java-like calculus with heterogeneous coeffects | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
| A Java-like Calculus with User-Defined Coeffects | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
| A provably correct compilation of functional languages into scripting languages | 1-gen-2017 | Giannini, Paola; Albert, Shaqiri | |
| A provenly correct translation of Fickle into Java | 1-gen-2007 | Ancona, D; Anderson, C; Damiani, F; Drossopoipou, S; Giannini, Paola; Zucca, E. | |
| A State Abstraction for Coordination in Javalike Languages | 1-gen-2006 | Damiani, F; E., Giachino; Giannini, Paola; N., Cameron; S., Drossopoulou | |
| A Syntactic Model of Mutation and Aliasing | 1-gen-2019 | 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 | |
| A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline | 1-gen-1994 | Giannini, Paola; SIMONA RONCHI DELLA, Rocca | |
| A type preserving translation of Fickle into Java | 1-gen-2002 | D., Ancona; C., Anderson; F., Damiani; S., Drossopoulou; Giannini, Paola; E., Zucca |