 | 2007 |
|---|
| 7 |       | Davide Ancona,
Christopher Anderson,
Ferruccio Damiani,
Sophia Drossopoulou,
Paola Giannini,
Elena Zucca:
A provenly correct translation of Fickle into Java.
ACM Trans. Program. Lang. Syst. 29(2): (2007) |
| 2005 |
|---|
| 6 | | Christopher Anderson,
Paola Giannini,
Sophia Drossopoulou:
Towards Type Inference for JavaScript.
ECOOP 2005: 428-452 |
| 5 | | Christopher Anderson,
Paola Giannini:
Type Checking for JavaScript.
Electr. Notes Theor. Comput. Sci. 138(2): 37-58 (2005) |
| 2003 |
|---|
| 4 | | Christopher Anderson,
Sophia Drossopoulou:
BabyJ: from object based to class based programming via types.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 3 | | Christopher Anderson,
Franco Barbanera,
Mariangiola Dezani-Ciancaglini,
Sophia Drossopoulou:
Can addresses be types? (A case study: objects with delegation).
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 2001 |
|---|
| 2 | | Davide Ancona,
Christopher Anderson,
Ferruccio Damiani,
Sophia Drossopoulou,
Paola Giannini,
Elena Zucca:
An Effective Translation of Fickle into Java.
ICTCS 2001: 215-234 |
| 1 | | Davide Ancona,
Christopher Anderson,
Ferruccio Damiani,
Sophia Drossopoulou,
Paola Giannini,
Elena Zucca:
A type preserving translation of Fickle into Java.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
