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
2372005
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
512003
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
402004
Type inference for Javascript
CL Anderson, S Drossopoulou
University of London, 2006
192006
Can Addresses be Types? A case study: objects with delegation
C Anderson, F Barbanera, M Dezani-Ciancaglini, S Drossopoulou
Elsevier, 2003
182003
-an imperative object based calculus
C Anderson, S Drossopoulou
workshop USE in, 2002
162002
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
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
122007
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
Alias and Union types for Delegation
C Anderson, F Barbanera, M Dezani-Ciancaglini
Ann. Math., Comput. & Teleinformatics 1 (1), 2003
82003
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
Type inference for scripting languages
C Anderson, P Giannini, S Drossopoulou
ECOOP'05, 2005
22005
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
12006
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
12005
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
The system can't perform the operation now. Try again later.
Articles 1–20