| * | 2009 |
|---|
| 9 | EE | Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
Luca Padovani:
Foundations of session types.
PPDP 2009: 219-230 |
| 8 | 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 |
|---|
| 7 | 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 |
| 6 | EE | Viviana Bono,
Ferruccio Damiani,
Elena Giachino:
On Traits and Types in a Java-like Setting.
IFIP TCS 2008: 367-382 |
| 5 | EE | Ferruccio Damiani,
Elena Giachino,
Paola Giannini,
Sophia Drossopoulou:
A type safe state abstraction for coordination in Java -like languages.
Acta Inf. 45(7-8): 479-536 (2008) |
| 4 | EE | Ferruccio Damiani,
Elena Giachino,
Paola Giannini:
Alias Types and Effects for "Environment-aware" Computations.
Fundam. Inform. 88(1-2): 63-107 (2008) |
| 2007 |
|---|
| 3 | EE | Lorenzo Bettini,
Sara Capecchi,
Elena Giachino:
Featherweight wrap Java.
SAC 2007: 1094-1100 |
| 2006 |
|---|
| 2 | EE | Mariangiola Dezani-Ciancaglini,
Elena Giachino,
Sophia Drossopoulou,
Nobuko Yoshida:
Bounded Session Types for Object Oriented Languages.
FMCO 2006: 207-245 |
| 1 | | Ferruccio Damiani,
Elena Giachino,
Paola Giannini,
Emanuele Cazzola:
On state classes and their dynamic semantics.
ICSOFT (1) 2006: 5-12 |
