VENNERI, BATTISTINA
VENNERI, BATTISTINA
Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)
A safe implementation of dynamic overloading in Java-like languages
2010 L. Bettini; S. Capecchi; B. Venneri
A Typed Lambda Calculus with Intersection Types
2008 Bono, V.; Venneri, B.; Bettini, L.
Coordinating Mobile Object-Oriented Code
2002 Bettini, Lorenzo; Bono, V.; Venneri, Battistina
Data-driven Adaptation for Smart Sessions
2017 Bono, V.; Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
Deconfined Intersection Types in Java
2020 Mariangiola Dezani-Ciancaglini , Paola Giannini, Betti Venneri
Delegation by object composition
2011 Lorenzo Bettini; Viviana Bono; Betti Venneri
Deriving Session and Union Types for Objects
2013 Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Battistina
Double Dispatch in C++
2006 L. BETTINI; S. CAPECCHI; B. VENNERI
Dynamic overloading with copy semantics in object-oriented languages: a formal account
2009 L. Bettini; S. Capecchi; B. Venneri
Extending Java to dynamic object behaviors
2003 L. Bettini; S. Capecchi; B. Venneri
Featherweight Java with Dynamic and Static Overloading
2009 L. Bettini; S. Capecchi; B. Venneri
Featherweight Java with multi-methods
2007 L. Bettini; S. Capecchi; B. Venneri
Functional Characters of Solvable Terms
1981 M. Dezani-Ciancaglini; M. Coppo; B. Venneri
Hyperformulae, Paralle Deductions and Intersection Types
2001 CAPITANI B.; M. LORETI; VENNERI B.
Intersection Types as Logical Formulae
1994 B. Venneri
Intersection Types in Java: Back to the Future
2019 Dezani-Ciancaglini M., Giannini P., Venneri B.
Java & Lambda: a Featherweight Story
2018 Bettini, Lorenzo; Bono, Viviana ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola ; Venneri, Betti
Lambda calcolo
2017 M. Dezani-Ciancaglini, B. Venneri
MoMi: a calculus for Mobile Mixins
2005 Bettini, Lorenzo; Bono, V.; Venneri, Battistina
O'KLAIM: A Coordination language with mobile mixins
2004 Bettini, Lorenzo; Bono, V.; Venneri, Battistina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A safe implementation of dynamic overloading in Java-like languages | 2010 | L. Bettini; S. Capecchi; B. Venneri | |
| A Typed Lambda Calculus with Intersection Types | 2008 | Bono, V.; Venneri, B.; Bettini, L. | |
| Coordinating Mobile Object-Oriented Code | 2002 | Bettini, Lorenzo; Bono, V.; Venneri, Battistina | |
| Data-driven Adaptation for Smart Sessions | 2017 | Bono, V.; Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B. | |
| Deconfined Intersection Types in Java | 2020 | Mariangiola Dezani-Ciancaglini , Paola Giannini, Betti Venneri | |
| Delegation by object composition | 2011 | Lorenzo Bettini; Viviana Bono; Betti Venneri | |
| Deriving Session and Union Types for Objects | 2013 | Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Battistina | |
| Double Dispatch in C++ | 2006 | L. BETTINI; S. CAPECCHI; B. VENNERI | |
| Dynamic overloading with copy semantics in object-oriented languages: a formal account | 2009 | L. Bettini; S. Capecchi; B. Venneri | |
| Extending Java to dynamic object behaviors | 2003 | L. Bettini; S. Capecchi; B. Venneri | |
| Featherweight Java with Dynamic and Static Overloading | 2009 | L. Bettini; S. Capecchi; B. Venneri | |
| Featherweight Java with multi-methods | 2007 | L. Bettini; S. Capecchi; B. Venneri | |
| Functional Characters of Solvable Terms | 1981 | M. Dezani-Ciancaglini; M. Coppo; B. Venneri | |
| Hyperformulae, Paralle Deductions and Intersection Types | 2001 | CAPITANI B.; M. LORETI; VENNERI B. | |
| Intersection Types as Logical Formulae | 1994 | B. Venneri | |
| Intersection Types in Java: Back to the Future | 2019 | Dezani-Ciancaglini M., Giannini P., Venneri B. | |
| Java & Lambda: a Featherweight Story | 2018 | Bettini, Lorenzo; Bono, Viviana ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola ; Venneri, Betti | |
| Lambda calcolo | 2017 | M. Dezani-Ciancaglini, B. Venneri | |
| MoMi: a calculus for Mobile Mixins | 2005 | Bettini, Lorenzo; Bono, V.; Venneri, Battistina | |
| O'KLAIM: A Coordination language with mobile mixins | 2004 | Bettini, Lorenzo; Bono, V.; Venneri, Battistina |