| Towards type inference for JavaScript C Anderson, P Giannini, S Drossopoulou ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005 | 276 | 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 | 62 | 2003 |
| Contributions to the asymptotic theory of extreme values C Anderson University of London, 1971 | 62 | 1971 |
| Type checking for JavaScript C Anderson, P Giannini Electronic Notes in Theoretical Computer Science 138 (2), 37-58, 2005 | 50 | 2005 |
| Simple dependent types: Concord P Jolly, S Drossopoulou, C Anderson, K Ostermann ECOOP Workshop on Formal Techniques for Java Programs (FTfJP), 2004 | 43 | 2004 |
| Type inference for Javascript CL Anderson, S Drossopoulou University of London, 2006 | 21 | 2006 |
| Can Addresses be Types?: A case study: objects with delegation C Anderson, F Barbanera, M Dezani-Ciancaglini, S Drossopoulou Electronic Notes in Theoretical Computer Science 82 (8), 108-129, 2003 | 18 | 2003 |
| 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 | 17 | 2002 |
| δ-an imperative object based calculus C Anderson, S Drossopoulou workshop USE in, 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 | 13 | 2007 |
| Alias and Union types for Delegation C Anderson, F Barbanera, M Dezani-Ciancaglini Ann. Math., Comput. & Teleinformatics 1 (1), 2003 | 9 | 2003 |
| Implementing Fickle C Anderson, S Eisenbach | 9 | 2001 |
| An Effective Translation of Fickle into Java: A Restivo, SR Della Rocca, L Roversi, D Ancona, C Anderson, F Damiani, ... Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001 | 9 | 2001 |
| δ: An imperative object-based calculus with delegation C Anderson, S Drossopoulou Proceedings of USE, 2002 | 6 | 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 | |
| Utilizing data from Write-On™ 2.0 to provide a stronger scientific basis for handwriting examinations C Anderson, A Agius, G Storey Journal of the American Society of Questioned Document Examiners 20 (2), 2017 | 3 | 2017 |
| Limited Populations–Are They Feasible for Handwriting Examinations? C Anderson, J Leslie Journal of the American Society of Questioned Document Examiners 9 (1), 2006 | 2 | 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), 2005 | 2 | 2005 |
| Type inference for scripting languages C Anderson, P Giannini, S Drossopoulou Proc. ECOOP 5, 441-469, 2005 | 2 | 2005 |
| Simple Dependent Types: Concord S Drossopoulou, P Jolly, C Anderson, K Ostermann ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2004), 2004 | 2 | 2004 |