Christopher League

13 papers A 3B 2Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2008 J jnl
Something for everyone: AI lab assignments that span learning styles and aptitudes.
J. Comput. Sci. Coll.
Christopher League
2007 J jnl
Schema-Based Compression of XML Data with Relax NG.
J. Comput.
Christopher League, Kenjone Eng
2007 B conf
Type-Based Compression of XML Data.
DCC
Christopher League, Kenjone Eng
2006 J jnl
MetaOCaml server pages: Web publishing as staged computation.
Sci. Comput. Program.
Christopher League
2005 — conf
Typed Compilation Against Non-manifest Base Classes.
CASSIS
Christopher League, Stefan Monnier
2003 B conf
Precision in Practice: A Type-Preserving Java Compiler.
CC
Christopher League, Zhong Shao, Valery Trifonov
2002 J jnl
Type-preserving compilation of Featherweight Java.
ACM Trans. Program. Lang. Syst.
Christopher League, Zhong Shao, Valery Trifonov
2000 J jnl
Composite model-checking: verification with type-specific symbolic representations.
ACM Trans. Softw. Eng. Methodol.
Tevfik Bultan, Richard Gerber, Christopher League
2000 J jnl
Lambda Calculi: A Guide for Computer Scientists by Chris Hankin.
SIGACT News
Christopher League
1999 A conf
Representing Java Classes in a Typed Intermediate Language.
ICFP
Christopher League, Zhong Shao, Valery Trifonov
1998 A conf
Implementing Typed Intermediate Languages.
ICFP
Zhong Shao, Christopher League, Stefan Monnier
1998 A conf
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.
ISSTA
Tevfik Bultan, Richard Gerber, Christopher League
1997 J jnl
Review of Isomorphisms of Types: : from lambda-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995).
SIGACT News
Christopher League