dblp.uni-trier.dewww.uni-trier.de

Betti Venneri Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
20EELorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with dynamic and static overloading. Sci. Comput. Program. 74(5-6): 261-278 (2009)
2008
19EELorenzo 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
18EELorenzo Bettini, Viviana Bono, Betti Venneri: Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) 2008: 198-217
17EEViviana Bono, Betti Venneri, Lorenzo Bettini: A typed lambda calculus with intersection types. Theor. Comput. Sci. 398(1-3): 95-113 (2008)
2007
16EELorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with multi-methods. PPPJ 2007: 83-92
2006
15EELorenzo Bettini, Sara Capecchi, Betti Venneri: Double dispatch in C++. Softw., Pract. Exper. 36(6): 581-613 (2006)
2005
14EELorenzo Bettini, Betti Venneri, Viviana Bono: MOMI: a calculus for mobile mixins. Acta Inf. 42(2-3): 143-190 (2005)
13EELorenzo Bettini, Sara Capecchi, Betti Venneri: Translating Double Dispatch into Single Dispatch. Electr. Notes Theor. Comput. Sci. 138(2): 59-78 (2005)
2004
12EELorenzo 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
10EELorenzo 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
9EELorenzo Bettini, Sara Capecchi, Betti Venneri: Extending Java to dynamic object behaviors. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
8EELorenzo Bettini, Viviana Bono, Betti Venneri: Coordinating Mobile Object-Oriented Code. COORDINATION 2002: 56-71
2001
7EEBeatrice Capitani, Michele Loreti, Betti Venneri: Hyperformulae, Parallel Deductions and Intersection Types. Electr. Notes Theor. Comput. Sci. 50(2): (2001)
6EELorenzo Bettini, Viviana Bono, Betti Venneri: Towards Object-Oriented Klaim. Electr. Notes Theor. Comput. Sci. 62: (2001)
2000
5EERocco 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)

Coauthor Index

1Lorenzo Bettini [6] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]
2Viviana Bono [6] [8] [10] [11] [12] [14] [17] [18]
3Sara Capecchi [9] [13] [15] [16] [19] [20]
4Beatrice Capitani [7]
5Mariangiola Dezani-Ciancaglini [2] [4] [19]
6Gian Luigi Ferrari (GianLuigi Ferrari) [5] [10]
7Silvia Ghilezan [4]
8Elena Giachino [19]
9Daniele Gorla [10]
10Michele Loreti [7] [10]
11Eugenio Moggi [10]
12Rocco De Nicola [5] [10]
13Rosario Pugliese [5] [10]
14Simona Ronchi Della Rocca [1]
15Emilio Tuosto [10]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)