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
ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005
2662005
Contributions to the asymptotic theory of extreme values
C Anderson
University of London, 1971
621971
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
612003
Type checking for JavaScript
C Anderson, P Giannini
Electronic Notes in Theoretical Computer Science 138 (2), 37-58, 2005
492005
Simple dependent types: Concord
P Jolly, S Drossopoulou, C Anderson, K Ostermann
ECOOP Workshop on Formal Techniques for Java Programs (FTfJP), 2004
412004
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
172002
δ-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
Implementing Fickle
C Anderson, S Eisenbach
92001
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
92001
δ: An imperative object-based calculus with delegation
C Anderson, S Drossopoulou
Proceedings of USE, 2002
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
Planning for complete communities in Delaware: Summary report to the town of Elsmere
N Nau, T Patterson, C Anderson
12013
The system can't perform the operation now. Try again later.
Articles 1–20