Sfoglia per Autore
A Typed Lambda Calculus with Intersection Types
2008 Bono, V.; Venneri, B.; Bettini, L.
Session and Union Types for Object Oriented Programming
2008 L. Bettini; S. Capecchi; M. Dezani-Ciancaglini; E. Giachino; B. Venneri.
Object Incompleteness and Dynamic Composition in Java-like languages
2008 L. Bettini; V. Bono; B. Venneri
Dynamic overloading with copy semantics in object-oriented languages: a formal account
2009 L. Bettini; S. Capecchi; B. Venneri
Featherweight Java with Dynamic and Static Overloading
2009 L. Bettini; S. Capecchi; B. Venneri
A safe implementation of dynamic overloading in Java-like languages
2010 L. Bettini; S. Capecchi; B. Venneri
Proceedings Fifth Workshop on Intersection Types and Related Systems
2011 E.Pimentel; B. Venneri; J. Wells
Delegation by object composition
2011 Lorenzo Bettini; Viviana Bono; Betti Venneri
Object Reuse and Behavior Adaptation in Java-like Languages
2011 Bettini, L.; Venneri, B.
Deriving Session and Union Types for Objects
2013 Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Battistina
Self-Adaptive Monitors for Multiparty Sessions
2014 Coppo, M.; Dezani-Ciancaglini,M.; Venneri, B;
Self-adaptive multiparty sessions
2015 Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
Parallel Monitors for Self-adaptive Sessions
2016 Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
Lambda calcolo
2017 M. Dezani-Ciancaglini, B. Venneri
Data-driven Adaptation for Smart Sessions
2017 Bono, V.; Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
Java & Lambda: a Featherweight Story
2018 Bettini, Lorenzo; Bono, Viviana ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola ; Venneri, Betti
Intersection Types in Java: Back to the Future
2019 Dezani-Ciancaglini M., Giannini P., Venneri B.
Deconfined Intersection Types in Java
2020 Mariangiola Dezani-Ciancaglini , Paola Giannini, Betti Venneri
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Typed Lambda Calculus with Intersection Types | 2008 | Bono, V.; Venneri, B.; Bettini, L. | |
| Session and Union Types for Object Oriented Programming | 2008 | L. Bettini; S. Capecchi; M. Dezani-Ciancaglini; E. Giachino; B. Venneri. | |
| Object Incompleteness and Dynamic Composition in Java-like languages | 2008 | L. Bettini; V. Bono; B. Venneri | |
| Dynamic overloading with copy semantics in object-oriented languages: a formal account | 2009 | L. Bettini; S. Capecchi; B. Venneri | |
| Featherweight Java with Dynamic and Static Overloading | 2009 | L. Bettini; S. Capecchi; B. Venneri | |
| A safe implementation of dynamic overloading in Java-like languages | 2010 | L. Bettini; S. Capecchi; B. Venneri | |
| Proceedings Fifth Workshop on Intersection Types and Related Systems | 2011 | E.Pimentel; B. Venneri; J. Wells | |
| Delegation by object composition | 2011 | Lorenzo Bettini; Viviana Bono; Betti Venneri | |
| Object Reuse and Behavior Adaptation in Java-like Languages | 2011 | Bettini, L.; Venneri, B. | |
| Deriving Session and Union Types for Objects | 2013 | Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Battistina | |
| Self-Adaptive Monitors for Multiparty Sessions | 2014 | Coppo, M.; Dezani-Ciancaglini,M.; Venneri, B; | |
| Self-adaptive multiparty sessions | 2015 | Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B. | |
| Parallel Monitors for Self-adaptive Sessions | 2016 | Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B. | |
| Lambda calcolo | 2017 | M. Dezani-Ciancaglini, B. Venneri | |
| Data-driven Adaptation for Smart Sessions | 2017 | Bono, V.; Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B. | |
| Java & Lambda: a Featherweight Story | 2018 | Bettini, Lorenzo; Bono, Viviana ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola ; Venneri, Betti | |
| Intersection Types in Java: Back to the Future | 2019 | Dezani-Ciancaglini M., Giannini P., Venneri B. | |
| Deconfined Intersection Types in Java | 2020 | Mariangiola Dezani-Ciancaglini , Paola Giannini, Betti Venneri |
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