 | 2007 |
|---|
| 10 |       | Christopher League,
Kenjone Eng:
Type-Based Compression of XML Data.
DCC 2007: 273-282 |
| 9 | | Christopher League,
Kenjone Eng:
Schema-Based Compression of XML Data with Relax NG.
JCP 2(10): 9-17 (2007) |
| 2006 |
|---|
| 8 | | Christopher League:
MetaOCaml server pages: Web publishing as staged computation.
Sci. Comput. Program. 62(1): 66-84 (2006) |
| 2005 |
|---|
| 7 | | Christopher League,
Stefan Monnier:
Typed Compilation Against Non-manifest Base Classes.
CASSIS 2005: 77-98 |
| 2003 |
|---|
| 6 | | Christopher League,
Zhong Shao,
Valery Trifonov:
Precision in Practice: A Type-Preserving Java Compiler.
CC 2003: 106-120 |
| 2002 |
|---|
| 5 | | Christopher League,
Zhong Shao,
Valery Trifonov:
Type-preserving compilation of Featherweight Java.
ACM Trans. Program. Lang. Syst. 24(2): 112-152 (2002) |
| 2000 |
|---|
| 4 | | Tevfik Bultan,
Richard Gerber,
Christopher League:
Composite model-checking: verification with type-specific symbolic representations.
ACM Trans. Softw. Eng. Methodol. 9(1): 3-50 (2000) |
| 1999 |
|---|
| 3 | | Christopher League,
Zhong Shao,
Valery Trifonov:
Representing Java Classes in a Typed Intermediate Language.
ICFP 1999: 183-196 |
| 1998 |
|---|
| 2 | | Zhong Shao,
Christopher League,
Stefan Monnier:
Implementing Typed Intermediate Languages.
ICFP 1998: 313-323 |
| 1 | | Tevfik Bultan,
Richard Gerber,
Christopher League:
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.
ISSTA 1998: 113-123 |
