Sfoglia per Autore
Constrained polymorphic types for a calculus with name variables
2018-01-01 Ancona, Davide; Giannini, Paola; Zucca, Elena
Java & Lambda: a Featherweight Story
2018-01-01 Bettini, Lorenzo; Bono, Viviana; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Venneri, Betti
A type and effect system for uniqueness and immutability
2018-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
Concurrent reversible sessions
2017-01-01 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
A provably correct compilation of functional languages into scripting languages
2017-01-01 Giannini, Paola; Albert, Shaqiri
Type safe incremental rebinding
2017-01-01 Ancona, Davide; Giannini, Paola; Zucca, Elena
Tracing sharing in an imperative pure calculus (extended abstract)
2017-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
A type and effect system for sharing
2017-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
Types for Immutability and Aliasing Control
2016-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
Initialize-and-catch
2016-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
Formal Attributes Traceability in Modular Language Development Frameworks
2016-01-01 Cazzola, Walter; Giannini, Paola; Shaqiri, Albert
Runtime checks as nominal types
2016-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
Incremental Rebinding with Name Polymorphism
2016-01-01 Ancona, Davide; Giannini, Paola; Zucca, Elena
Reversible Multiparty Sessions with Checkpoints
2016-01-01 Dezani Ciancaglini, Mariangiola; Giannini, Paola
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework
2016-01-01 Margaria, Tiziana; Lamprecht, Anna Lena; Giannini, Paola
Coupling catch clauses with local declarations
2016-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
A computational modeling language for complex laboratory experiments
2015-01-01 Compagnoni, Adriana; Giannini, Paola; Kelley, Christopher
Interactions between Computer Science and Biology
2015-01-01 Giannini, Paola; Merelli, Emanuela; Troina, Angelo
A Calculus of Located Entities
2014-01-01 A., Compagnoni; Giannini, Paola; C., Kim; M., Milideo; V., Sharma
State-Sensitive Computational Modeling
2014-01-01 A., Compagnoni; Giannini, Paola; C., Kelley
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Constrained polymorphic types for a calculus with name variables | 1-gen-2018 | Ancona, Davide; Giannini, Paola; Zucca, Elena | |
Java & Lambda: a Featherweight Story | 1-gen-2018 | Bettini, Lorenzo; Bono, Viviana; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Venneri, Betti | |
A type and effect system for uniqueness and immutability | 1-gen-2018 | Giannini, Paola; Servetto, Marco; Zucca, Elena | |
Concurrent reversible sessions | 1-gen-2017 | Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola | |
A provably correct compilation of functional languages into scripting languages | 1-gen-2017 | Giannini, Paola; Albert, Shaqiri | |
Type safe incremental rebinding | 1-gen-2017 | Ancona, Davide; Giannini, Paola; Zucca, Elena | |
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 | |
Types for Immutability and Aliasing Control | 1-gen-2016 | Giannini, Paola; Servetto, Marco; Zucca, Elena | |
Initialize-and-catch | 1-gen-2016 | Giannini, Paola; Servetto, Marco; Zucca, Elena | |
Formal Attributes Traceability in Modular Language Development Frameworks | 1-gen-2016 | Cazzola, Walter; Giannini, Paola; Shaqiri, Albert | |
Runtime checks as nominal types | 1-gen-2016 | Giannini, Paola; Servetto, Marco; Zucca, Elena | |
Incremental Rebinding with Name Polymorphism | 1-gen-2016 | Ancona, Davide; Giannini, Paola; Zucca, Elena | |
Reversible Multiparty Sessions with Checkpoints | 1-gen-2016 | Dezani Ciancaglini, Mariangiola; Giannini, Paola | |
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework | 1-gen-2016 | Margaria, Tiziana; Lamprecht, Anna Lena; Giannini, Paola | |
Coupling catch clauses with local declarations | 1-gen-2016 | Giannini, Paola; Servetto, Marco; Zucca, Elena | |
A computational modeling language for complex laboratory experiments | 1-gen-2015 | Compagnoni, Adriana; Giannini, Paola; Kelley, Christopher | |
Interactions between Computer Science and Biology | 1-gen-2015 | Giannini, Paola; Merelli, Emanuela; Troina, Angelo | |
A Calculus of Located Entities | 1-gen-2014 | A., Compagnoni; Giannini, Paola; C., Kim; M., Milideo; V., Sharma | |
State-Sensitive Computational Modeling | 1-gen-2014 | A., Compagnoni; Giannini, Paola; C., Kelley |
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