Christopher League

According to our database, Christopher League authored at least 12 papers between 1997 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Schema-Based Compression of XML Data with Relax NG.

Christopher League, Kenjone Eng

J. Comput., 2007

Type-Based Compression of XML Data.

Christopher League, Kenjone Eng

Proceedings of the 2007 Data Compression Conference (DCC 2007), 2007

2006

MetaOCaml server pages: Web publishing as staged computation.

Christopher League

Sci. Comput. Program., 2006

2005

Typed Compilation Against Non-manifest Base Classes.

Christopher League, Stefan Monnier

Proceedings of the Construction and Analysis of Safe, 2005

2003

Precision in Practice: A Type-Preserving Java Compiler.

Christopher League, Zhong Shao, Valery Trifonov

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Type-preserving compilation of Featherweight Java.

Christopher League, Zhong Shao, Valery Trifonov

ACM Trans. Program. Lang. Syst., 2002

2000

Composite model-checking: verification with type-specific symbolic representations.

Tevfik Bultan, Richard Gerber, Christopher League

ACM Trans. Softw. Eng. Methodol., 2000

Lambda Calculi: A Guide for Computer Scientists by Chris Hankin.

Christopher League

SIGACT News, 2000

1999

Representing Java Classes in a Typed Intermediate Language.

Christopher League, Zhong Shao, Valery Trifonov

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1998

Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.

Tevfik Bultan, Richard Gerber, Christopher League

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

Implementing Typed Intermediate Languages.

Zhong Shao, Christopher League, Stefan Monnier

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997

Review of Isomorphisms of Types: : from lambda-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995).

Christopher League

SIGACT News, 1997