| Towards type inference for JavaScript C Anderson, P Giannini, S Drossopoulou European conference on Object-oriented programming, 428-452, 2005 | 237 | 2005 |
| BabyJ: From object based to class based programming via types C Anderson, S Drossopoulou Electronic Notes in Theoretical Computer Science 82 (8), 53-81, 2003 | 51 | 2003 |
| Type checking for JavaScript C Anderson, P Giannini Electronic Notes in Theoretical Computer Science 138 (2), 37-58, 2005 | 48 | 2005 |
| Simple dependent types: Concord P Jolly, S Drossopoulou, C Anderson, K Ostermann ECOOP Workshop on Formal Techniques for Java Programs (FTfJP), 2004 | 40 | 2004 |
| Type inference for Javascript CL Anderson, S Drossopoulou University of London, 2006 | 19 | 2006 |
| Can Addresses be Types? A case study: objects with delegation C Anderson, F Barbanera, M Dezani-Ciancaglini, S Drossopoulou Elsevier, 2003 | 18 | 2003 |
| ä-an imperative object based calculus C Anderson, S Drossopoulou workshop USE in, 2002 | 16 | 2002 |
| A type preserving translation of F ickle into Java D Ancona, C Anderson, F Damiani, S Drossopoulou, P Giannini, E Zucca Electronic Notes in Theoretical Computer Science 62, 69-82, 2002 | 15 | 2002 |
| A provenly correct translation of Fickle into Java D Ancona, C Anderson, F Damiani, S Drossopoulou, P Giannini, E Zucca ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 13-es, 2007 | 12 | 2007 |
| An Effective Translation of Fickle into Java D Ancona, C Anderson, F Damiani, S Drossopoulou, P Giannini, E Zucca Italian Conference on Theoretical Computer Science, 215-234, 2001 | 9 | 2001 |
| Implementing Fickle C Anderson, S Eisenbach | 9 | 2001 |
| Alias and Union types for Delegation C Anderson, F Barbanera, M Dezani-Ciancaglini Ann. Math., Comput. & Teleinformatics 1 (1), 2003 | 8 | 2003 |
| delta: an imperative object based calculus with delegation C Anderson, S Drossopoulou | 7 | 2002 |
| Simple dependent types: Concord (FTfJP accepted version). April 2004 P Jolly, S Drossopoulou, C Anderson, K Ostermann URL http://myitcv. org. uk/papers/concord04. html, 0 | 5 | |
| Type inference for scripting languages C Anderson, P Giannini, S Drossopoulou ECOOP'05, 2005 | 2 | 2005 |
| Limited populations-are they feasible for handwriting examinations? J Leslie, C Anderson Journal of the American Society of Questioned Document Examiners 9 (1), 9-18, 2006 | 1 | 2006 |
| The importance of line width measurements in discriminating between pencil types. C Anderson, S Gudlaugsdottir, J Leslie Journal of the American Society of Questioned Document Examiners 8 (2), 57-64, 2005 | 1 | 2005 |
| Towards Type Inference for JavaScript S DROSSOPOULOU, P GIANNINI, C ANDERSON 19th European Conference on Object-Oriented Programming (ECOOP 2005) 3586 …, 2005 | | 2005 |
| Project Outsourcing Report P Jolly, C Anderson | | 2003 |
| BabyJ C Anderson, S Drossopoulou ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 82 (8), 1-29, 2003 | | 2003 |
