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)

Implementing Typed Intermediate Languages. - Zhong Shao 001; Christopher League; Stefan Monnier (ICFP, 1998)

Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. - Tevfik Bultan; Richard Gerber 001; Christopher League (ISSTA, 1998)

Representing Java Classes in a Typed Intermediate Language. - Christopher League; Zhong Shao 001; Valery Trifonov (ICFP, 1999)

Lambda Calculi: A Guide for Computer Scientists by Chris Hankin. - Christopher League (SIGACT News, 2000)

Composite model-checking: verification with type-specific symbolic representations. - Tevfik Bultan; Richard Gerber 001; Christopher League (ACM Trans. Softw. Eng. Methodol., 2000)

Type-preserving compilation of Featherweight Java. - Christopher League; Zhong Shao 001; Valery Trifonov (ACM Trans. Program. Lang. Syst., 2002)

Precision in Practice: A Type-Preserving Java Compiler. - Christopher League; Zhong Shao 001; Valery Trifonov (CC, 2003)

Typed Compilation Against Non-manifest Base Classes. - Christopher League; Stefan Monnier (CASSIS, 2005)

MetaOCaml server pages: Web publishing as staged computation. - Christopher League (Sci. Comput. Program., 2006)

Type-Based Compression of XML Data. - Christopher League; Kenjone Eng (DCC, 2007)

Schema-Based Compression of XML Data with Relax NG. - Christopher League; Kenjone Eng (J. Comput., 2007)

Something for everyone: AI lab assignments that span learning styles and aptitudes. - Christopher League (J. Comput. Sci. Coll., 2008)