- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j15 |      | Lorenzo Bettini, Viviana Bono, Betti Venneri: Delegation by object composition. Sci. Comput. Program. 76(11): 992-1014 (2011) |
| c9 | | Lorenzo Bettini, Betti Venneri: Object reuse and behavior adaptation in Java-like languages. PPPJ 2011: 111-120 |
| 2010 | ||
| e1 | | Elaine Pimentel, Betti Venneri, Joe Wells (Eds.): Proceedings Fifth Workshop on Intersection Types and Related Systems. EPTCS 45, 2010 |
| 2009 | ||
| j14 | | Lorenzo Bettini, Sara Capecchi, Betti Venneri: Dynamic overloading with copy semantics in object-oriented languages: a formal account. ITA 43(3): 517-565 (2009) |
| j13 | | Lorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with dynamic and static overloading. Sci. Comput. Program. 74(5-6): 261-278 (2009) |
| c8 | | Lorenzo Bettini, Sara Capecchi, Betti Venneri: A Safe Implementation of Dynamic Overloading in Java-Like Languages. FSEN 2009: 455-462 |
| 2008 | ||
| j12 | | Viviana Bono, Betti Venneri, Lorenzo Bettini: A typed lambda calculus with intersection types. Theor. Comput. Sci. 398(1-3): 95-113 (2008) |
| c7 | | Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri: Session and Union Types for Object Oriented Programming. Concurrency, Graphs and Models 2008: 659-680 |
| c6 | | Lorenzo Bettini, Viviana Bono, Betti Venneri: Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) 2008: 198-217 |
| 2007 | ||
| c5 | | Lorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with multi-methods. PPPJ 2007: 83-92 |
| 2006 | ||
| j11 | | Lorenzo Bettini, Sara Capecchi, Betti Venneri: Double dispatch in C++. Softw., Pract. Exper. 36(6): 581-613 (2006) |
| 2005 | ||
| j10 | | Lorenzo Bettini, Betti Venneri, Viviana Bono: MOMI: a calculus for mobile mixins. Acta Inf. 42(2-3): 143-190 (2005) |
| j9 | | Lorenzo Bettini, Sara Capecchi, Betti Venneri: Translating Double Dispatch into Single Dispatch. Electr. Notes Theor. Comput. Sci. 138(2): 59-78 (2005) |
| 2004 | ||
| c4 | | Lorenzo Bettini, Viviana Bono, Betti Venneri: O'Klaim: A Coordination Language with Mobile Mixins. COORDINATION 2004: 20-38 |
| c3 |  | Lorenzo Bettini, Viviana Bono, Betti Venneri: Subtyping-Inheritance Conflicts: The Mobile Mixin Case. IFIP TCS 2004: 451-464 |
| 2003 | ||
| j8 | | Lorenzo Bettini, Sara Capecchi, Betti Venneri: Extending Java to dynamic object behaviors. Electr. Notes Theor. Comput. Sci. 82(7): 33-52 (2003) |
| c2 | | Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri: The Klaim Project: Theory and Practice. Global Computing 2003: 88-150 |
| 2002 | ||
| c1 | | Lorenzo Bettini, Viviana Bono, Betti Venneri: Coordinating Mobile Object-Oriented Code. COORDINATION 2002: 56-71 |
| 2001 | ||
| j7 | | Beatrice Capitani, Michele Loreti, Betti Venneri: Hyperformulae, Parallel Deductions and Intersection Types. Electr. Notes Theor. Comput. Sci. 50(2): 178-195 (2001) |
| j6 | | Lorenzo Bettini, Viviana Bono, Betti Venneri: Towards Object-Oriented Klaim. Electr. Notes Theor. Comput. Sci. 62: 38-51 (2001) |
| 2000 | ||
| j5 | | Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri: Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000) |
| 1997 | ||
| j4 | | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri: The "Relevance" of Intersection and Union Types. Notre Dame Journal of Formal Logic 38(2): 246-269 (1997) |
| 1994 | ||
| j3 | | |
| 1990 | ||
| j2 | | Mariangiola Dezani-Ciancaglini, Betti Venneri: Partial Types and Intervals. SIAM J. Comput. 19(4): 644-568 (1990) |
| 1984 | ||
| j1 | | Simona Ronchi Della Rocca, Betti Venneri: Principal Type Schemes for an Extended Type Theory. Theor. Comput. Sci. 28: 151-169 (1984) |
Data released under the ODC-BY 1.0 license — See also our legal information page