Search the dblp DataBase

Publications of Author

1. Lorenzo Bettini, Viviana Bono, Betti Venneri
   Coordinating Mobile Object-Oriented Code. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2002, pp:56-71 [Conf]
   
2. Lorenzo Bettini, Viviana Bono, Betti Venneri
   O'Klaim: A Coordination Language with Mobile Mixins. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2004, pp:20-38 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   Global Computing, 2003, pp:88-150 [Conf]
   
4. Lorenzo Bettini, Viviana Bono, Betti Venneri
   Subtyping-Inheritance Conflicts: The Mobile Mixin Case. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2004, pp:451-464 [Conf]
   
5. Lorenzo Bettini, Betti Venneri, Viviana Bono
   MOMI: a calculus for mobile mixins. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 2005, v:42, n:2-3, pp:143-190 [Journal]
   
6. Lorenzo Bettini, Viviana Bono, Betti Venneri
   Towards Object-Oriented Klaim. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
   
7. Lorenzo Bettini, Sara Capecchi, Betti Venneri
   Extending Java to dynamic object behaviors. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
   
8. Lorenzo Bettini, Sara Capecchi, Betti Venneri
   Translating Double Dispatch into Single Dispatch. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:138, n:2, pp:59-78 [Journal]
   
9. Beatrice Capitani, Michele Loreti, Betti Venneri
   Hyperformulae, Parallel Deductions and Intersection Types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
   
10. Betti Venneri
    Intersection Types as Logical Formulae. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:2, pp:109-124 [Journal]
    
11. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
    The ``Relevance'' of Intersection and Union Types. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:246-269 [Journal]
    
12. Mariangiola Dezani-Ciancaglini, Betti Venneri
    Partial Types and Intervals. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1990, v:19, n:4, pp:644-568 [Journal]
    
13. Lorenzo Bettini, Sara Capecchi, Betti Venneri
    Double dispatch in C++. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2006, v:36, n:6, pp:581-613 [Journal]
    
14. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri
    Types for access control. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:215-254 [Journal]
    
15. Simona Ronchi Della Rocca, Betti Venneri
    Principal Type Schemes for an Extended Type Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:151-169 [Journal]
    
16. Lorenzo Bettini, Sara Capecchi, Betti Venneri
    Featherweight Java with multi-methods. [Citation Graph (0, 0)][DBLP]
    PPPJ, 2007, pp:83-92 [Conf]
    
17. 
    Session and Union Types for Object Oriented Programming. [Citation Graph (, )][DBLP]
    
    
18. 
    Object Incompleteness and Dynamic Composition in Java-Like Languages. [Citation Graph (, )][DBLP]
    
    
19. 
    A Safe Implementation of Dynamic Overloading in Java-Like Languages. [Citation Graph (, )][DBLP]