C. B. Jay

Exploiting shape in parallel programming

J. J. Edwards, C. B. Jay, D. G. Clarke, 1996, Proceedings of 1996 IEEE Second International Conference on Algorithms and Architectures for Parallel Processing, ICA/sup 3/PP '96.

Dealing with Complex Patterns in XML Processing

C. B. Jay, C. Jay, 2005 .

Adaptiveness in well-typed Java bytecode verification

David B. Skillicorn, F. Y. Huang, C. B. Jay, 2006, CASCON.

The Polymorphic Imperative: a Generic Approach to In-place Update

C. B. Jay, H. Y. Lu, Q. T. Nguyen, 2004, CATS.

Functorial ML

Eugenio Moggi, C. B. Jay, Gianna Bellè, 1998 .

Programming with heterogeneous structures: manipulating XML data using bondi

David B. Skillicorn, F. Y. Huang, C. B. Jay, 2006, ACSC.