Computing Publications

Publications Home » Authors » Dr Christopher Anderson

Authors

Dr Christopher Anderson

12 publications for this author.

Journal Articles

A provenly correct Translation of Fickle into Java [PDF]
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
(ToPLaS) Transactions of Programming Languages ans Systems
Volume 2
ACM
2007
Alias and Union Types for Delegation [PDF]
Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini
Annals of Mathematics, Computing and Teleinformatics
Volume 1, pp.1–18
February, 2003
BabyJ: from object based to class based programming via types [PDF]
Christopher Anderson, Sophia Drossopoulou
Electronic Notes in Theoretical Computer Science
Volume 82, Issue 8
2003
Paragon Specifications: Structure, Analysis and Implementation
Christopher Anderson, David Bolton, Paul Kelly
Future Generation Computer Systems
Volume 10, Issue 1
1994

Electronic Journal Article

Can Addresses be Types? (a case study: objects with delegation) [PDF]
Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
WOOD 2003
Volume 82, Issue 8
Electronic Notes in Theoretical Computer Science, Elsevier Science Bv
2003

Conference and Workshop Papers

Towards Type Inference for JavaScript [PDF]
Christopher Anderson, Sophia Drossopoulou, Paola Giannini
19th European Conference on Object-Oriented Programming (ECOOP 2005), Glasgow, Scotland
pp.428–452
July, 2005
Simple Dependent Types: Concord [PDF]
Sophia Drossopoulou, Paul Jolly, Christopher Anderson, Klaus Ostermann
ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2004)
June, 2004
A type preserving translation of Fickle into Java [PDF]
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
TOSCA'01
Volume 62
ENTCS, Elsevier
September, 2002
delta an imperative object based calculus [PDF]
Christopher Anderson, Sophia Drossopoulou
USE 2002
2002
An Effective Translation of Fickle into Java [Postscript]
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
7th Italian Conference on Theoretical Computer Science, ICTCS 2001, Torino, Italy, October 4-6, 2001
Volume 2202, pp.215–234
Lecture Notes in Computer Science, Springer
October, 2001

Proceedings Edited

Type Checking for JavaScript [PDF]
Christopher Anderson, Paola Giannini
WOOD 2004
Issue 138, pp.37–58
Elsevier
2005

PhD Thesis

Type Inference for JavaScript [PDF]
Christopher Anderson
Department of Computing, Imperial College London
March, 2006

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.