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