Follow
Christopher Lyon Anderson
Christopher Lyon Anderson
Electric Labs
Verified email at lyonanderson.org - Homepage
Title
Cited by
Cited by
Year
Towards type inference for JavaScript
C Anderson, P Giannini, S Drossopoulou
European conference on Object-oriented programming, 428-452, 2005
2512005
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
582003
Type checking for JavaScript
C Anderson, P Giannini
Electronic Notes in Theoretical Computer Science 138 (2), 37-58, 2005
482005
Simple dependent types: Concord
P Jolly, S Drossopoulou, C Anderson, K Ostermann
ECOOP Workshop on Formal Techniques for Java Programs (FTfJP), 2004
422004
Type inference for Javascript
CL Anderson, S Drossopoulou
University of London, 2006
212006
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
172003
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
162002
δ-an imperative object based calculus
C Anderson, S Drossopoulou
workshop USE in, 2002
152002
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
132007
Alias and Union types for Delegation
C Anderson, F Barbanera, M Dezani-Ciancaglini
Ann. Math., Comput. & Teleinformatics 1 (1), 2003
92003
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
92001
Implementing Fickle
C Anderson, S Eisenbach
92001
delta: an imperative object based calculus with delegation
C Anderson, S Drossopoulou
72002
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
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
22006
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
22005
Type inference for scripting languages
C Anderson, P Giannini, S Drossopoulou
Proc. ECOOP 5, 441-469, 2005
22005
Simple Dependent Types: Concord
S Drossopoulou, P Jolly, C Anderson, K Ostermann
ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2004), 2004
22004
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
The system can't perform the operation now. Try again later.
Articles 1–20