A note on natural numbers objects in monoidal categories. - C. Barry Jay (Stud Logica, 1989)

Tail Recursion from Universal Invariants. - C. Barry Jay (Category Theory and Computer Science, 1991)

Compositional characterization of observable program properties. - Bernhard Steffen; C. Barry Jay; Michael Mendler (RAIRO Theor. Informatics Appl., 1992)

Coherence in category theory and the Church-Rosser property. - C. Barry Jay (Notre Dame J. Formal Log., 1992)

Tail Recursion Through Universal Invariants. - C. Barry Jay (Theor. Comput. Sci., 1993)

Shapely Types and Shape Polymorphism. - C. Barry Jay; J. Robin B. Cockett (ESOP, 1994)

The Virtues of Eta-Expansion. - C. Barry Jay; Neil Ghani (J. Funct. Program., 1995)

A Semantics for Shape. - C. Barry Jay (Sci. Comput. Program., 1995)

Shape in Computing. - C. Barry Jay (ACM Comput. Surv., 1996)

Preface: Theoretical Computer Science in Australia and New Zealand. - C. Barry Jay; John Staples (Theor. Comput. Sci., 1996)

Separating Shape from Data. - C. Barry Jay (Category Theory and Computer Science, 1997)

A Monadic Calculus for Parallel Costing of a Functional Language of Arrays. - C. Barry Jay; Murray Cole; M. Sekanina; Paul Steckler (Euro-Par, 1997)

Covariant Types. - C. Barry Jay (Theor. Comput. Sci., 1997)

The Essence of the Visitor Pattern. - Jens Palsberg; C. Barry Jay (COMPSAC, 1998)

The Functional Imperative: Shape! - C. Barry Jay; Paul Steckler (ESOP, 1998)

Functorial ML. - C. Barry Jay; Gianna Bellè; Eugenio Moggi (J. Funct. Program., 1998)

Shaping Distributions. - C. Barry Jay (Research Directions in Parallel Functional Programming, 1999)

Partial Evaluation of Shaped Programs: Experience with FISh. - C. Barry Jay (PEPM, 1999)

Denotational Semantics of Shape: Past, Present and Future. - C. Barry Jay (MFPS, 1999)

Programming in FISh. - C. Barry Jay (Int. J. Softw. Tools Technol. Transf., 1999)

Monads, shapely functors, and traversals. - Eugenio Moggi; Gianna Bellè; C. Barry Jay (CTCS, 1999)

Teaching a Capstone Subject in Computing Science – A Variety Engineering Approach. - Brian Lederer; Valentina Plekhanova; C. Barry Jay (ACSC, 2000)

Costing parallel programs as a function of shapes. - C. Barry Jay (Sci. Comput. Program., 2000)

Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types. - C. Barry Jay (TLCA, 2001)

The Polymorphic Imperative: a Generic Approach to In-place Update. - C. Barry Jay; H. Y. Lu; Q. T. Nguyen (CATS, 2004)

The pattern calculus. - C. Barry Jay (ACM Trans. Program. Lang. Syst., 2004)

Programming with heterogeneous structures: manipulating XML data using bondi. - Freeman Yufei Huang; C. Barry Jay; David B. Skillicorn (ACSC, 2006)

A relational account of objects. - Clara Murdaca; C. Barry Jay (ACSC, 2006)

Adaptiveness in well-typed Java bytecode verification. - Freeman Yufei Huang; C. Barry Jay; David B. Skillicorn (CASCON, 2006)

Pure Pattern Calculus. - C. Barry Jay; Delia Kesner (ESOP, 2006)

Preface. - Joachim Gudmundsson; C. Barry Jay (Int. J. Found. Comput. Sci., 2007)

First-class patterns. - C. Barry Jay; Delia Kesner (J. Funct. Program., 2009)

Typed self-interpretation by pattern matching. - C. Barry Jay; Jens Palsberg (ICFP, 2011)