Debugging in a side effect free programming environment. - Cordelia V. Hall; John T. O'Donnell (SLIPE, 1985)

Compiling Strictness into Streams. - Cordelia V. Hall; David S. Wise (POPL, 1987)

Debugging in Applicative Languages. - John T. O'Donnell; Cordelia V. Hall (LISP Symb. Comput., 1988)

Generating Function Versions with Rational Strictness Patterns. - Cordelia V. Hall; David S. Wise (Sci. Comput. Program., 1989)

An Algorithmic and Semantic Approach to Debugging. - Cordelia V. Hall; Kevin Hammond; John T. O'Donnell (Functional Programming, 1990)

Strictness Analysis Using Hindley-Milner Type Inference. - Cordelia V. Hall (Functional Programming, 1991)

The Glasgow Haskell Compiler: A Retrospective. - Cordelia V. Hall; Kevin Hammond; Will Partain; Simon L. Peyton Jones; Philip Wadler (Functional Programming, 1992)

A framework for optimising abstract data types. - Cordelia V. Hall (Functional Programming, 1993)

Using Overloading to Express Distinctions Between Evaluators. - Cordelia V. Hall (Inf. Process. Lett., 1993)

Unboxing using Specialisation. - Cordelia V. Hall; Simon L. Peyton Jones; Patrick M. Sansom (Functional Programming, 1994)

Using Hindley-Milner Type Inference to Optimise List Representation. - Cordelia V. Hall (LISP and Functional Programming, 1994)

Type Classes in Haskell. - Cordelia V. Hall; Kevin Hammond; Simon L. Peyton Jones; Philip Wadler (ACM Trans. Program. Lang. Syst., 1996)

Natural Expert: A Commercial Functional Programming Environment. - Nigel W. O. Hutchison; Ute Neuhaus; Manfred Schmidt-Schauß; Cordelia V. Hall (J. Funct. Program., 1997)

Discrete mathematics using a computer. - Cordelia V. Hall; John T. O'Donnell (Springer, 2000)

Motion Space Reduction in a Haptic Model of Violin and Viola Bowin. - Sarah Baillie; Stephen A. Brewster; Cordelia V. Hall; John T. O'Donnell (WHC, 2005)

Discrete mathematics using a computer (2. ed.). - John T. O'Donnell; Cordelia V. Hall; Rex L. Page (Springer, 2006)

Using Regular Expressions to Express Bowing Patterns for String Players. - Cordelia V. Hall; John T. O'Donnell (ICMC, 2009)

Bowing Models for String Players. - Cordelia V. Hall; John T. O'Donnell; Bill Findlay (ICMC, 2009)

Name that tune: musicons as reminders in the home. - Marilyn Rose McGee-Lennon; Maria K. Wolters; Ross McLachlan; Stephen A. Brewster; Cordelia V. Hall (CHI, 2011)

Optimisation and Parallelism in Synchronous Digital Circuit Simulators. - John T. O'Donnell; Cordelia V. Hall (CSE, 2012)

Regular Expressions as Violin Bowing Patterns. - Cordelia V. Hall; John T. O'Donnell (Comput. Music. J., 2012)

Active Data Structures on GPGPUs. - John T. O'Donnell; Cordelia V. Hall; Stuart Monro (Euro-Par Workshops, 2013)

Pointlessness is Better than Listlessness. - John T. O'Donnell; Cordelia V. Hall (A List of Successes That Can Change the World, 2016)