2009 |
7 | EE | Sara Capecchi,
Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Sophia Drossopoulou,
Elena Giachino:
Amalgamating sessions and methods in object-oriented languages with generics.
Theor. Comput. Sci. 410(2-3): 142-167 (2009) |
2008 |
6 | 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 |
2007 |
5 | EE | Lorenzo Bettini,
Sara Capecchi,
Betti Venneri:
Featherweight Java with multi-methods.
PPPJ 2007: 83-92 |
4 | EE | Lorenzo Bettini,
Sara Capecchi,
Elena Giachino:
Featherweight wrap Java.
SAC 2007: 1094-1100 |
2006 |
3 | EE | Lorenzo Bettini,
Sara Capecchi,
Betti Venneri:
Double dispatch in C++.
Softw., Pract. Exper. 36(6): 581-613 (2006) |
2005 |
2 | EE | Lorenzo Bettini,
Sara Capecchi,
Betti Venneri:
Translating Double Dispatch into Single Dispatch.
Electr. Notes Theor. Comput. Sci. 138(2): 59-78 (2005) |
2003 |
1 | EE | Lorenzo Bettini,
Sara Capecchi,
Betti Venneri:
Extending Java to dynamic object behaviors.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |