Pointlessness is Better than Listlessness. - O'Donnell, John T.; Hall, Cordelia V. (2016)

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

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

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

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

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

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

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

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

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

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

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

Type Classes in Haskell. - Hall, Cordelia V.; Hammond, Kevin; Jones, Simon L. Peyton; Wadler, Philip (1994)

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

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

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

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

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

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

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

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

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

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

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