Christopher League

Publication Activity (10 Years)

Years Active: 1997-2007
Publications (10 Years): 0

Publications

Christopher League, Kenjone Eng
Type-Based Compression of XML Data. DCC (2007)
Christopher League, Kenjone Eng
Schema-Based Compression of XML Data with Relax NG. J. Comput. 2 (10) (2007)
Christopher League
MetaOCaml server pages: Web publishing as staged computation. Sci. Comput. Program. 62 (1) (2006)
Christopher League, Stefan Monnier
Typed Compilation Against Non-manifest Base Classes. CASSIS (2005)
Christopher League, Zhong Shao, Valery Trifonov
Precision in Practice: A Type-Preserving Java Compiler. CC (2003)
Christopher League, Zhong Shao, Valery Trifonov
Type-preserving compilation of Featherweight Java. ACM Trans. Program. Lang. Syst. 24 (2) (2002)
Tevfik Bultan, Richard Gerber, Christopher League
Composite model-checking: verification with type-specific symbolic representations. ACM Trans. Softw. Eng. Methodol. 9 (1) (2000)
Christopher League
Lambda Calculi: A Guide for Computer Scientists by Chris Hankin. SIGACT News 31 (1) (2000)
Christopher League, Zhong Shao, Valery Trifonov
Representing Java Classes in a Typed Intermediate Language. ICFP (1999)
Tevfik Bultan, Richard Gerber, Christopher League
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. ISSTA (1998)
Zhong Shao, Christopher League, Stefan Monnier
Implementing Typed Intermediate Languages. ICFP (1998)
Christopher League
Review of Isomorphisms of Types: : from lambda-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995). SIGACT News 28 (4) (1997)