Pointlessness is Better than Listlessness - John T. O'Donnell; Cordelia V. Hall (A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, 2016)

Active Data Structures on GPGPUs - John T. O'Donnell; Cordelia V. Hall; Stuart Monro (Euro-Par 2013: Parallel Processing Workshops - BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised Selected Papers, 2013)

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

Optimisation and Parallelism in Synchronous Digital Circuit Simulators - John T. O'Donnell; Cordelia V. Hall (15th IEEE International Conference on Computational Science and Engineering, CSE 2012, Paphos, Cyprus, December 5-7, 2012, 2012)

Name that tune: musicons as reminders in the home - Marilyn Rose McGee-Lennon; Maria K. Wolters; Ross McLachlan; Stephen A. Brewster; Cordelia V. Hall (Proceedings of the International Conference on Human Factors in Computing Systems, CHI 2011, Vancouver, BC, Canada, May 7-12, 2011, 2011)

Using Regular Expressions to Express Bowing Patterns for String Players - Cordelia V. Hall; John T. O'Donnell (Proceedings of the 2009 International Computer Music Conference, ICMC 2009, Montreal, Quebec, Canada, August 16-21, 2009, 2009)

Bowing Models for String Players - Cordelia V. Hall; John T. O'Donnell; Bill Findlay (Proceedings of the 2009 International Computer Music Conference, ICMC 2009, Montreal, Quebec, Canada, August 16-21, 2009, 2009)

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

Motion Space Reduction in a Haptic Model of Violin and Viola Bowin - Sarah Baillie; Stephen A. Brewster; Cordelia V. Hall; John T. O'Donnell (First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, WHC 2005, Pisa, Italy, March 18-20, 2005, 2005)

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

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

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

Type Classes in Haskell - Cordelia V. Hall; Kevin Hammond; Simon L. Peyton Jones; Philip Wadler (Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, 1994)

Unboxing using Specialisation - Cordelia V. Hall; Simon L. Peyton Jones; Patrick M. Sansom (Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994, 1994)

Using Hindley-Milner Type Inference to Optimise List Representation - Cordelia V. Hall (Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994, 1994)

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

A framework for optimising abstract data types - Cordelia V. Hall (Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993, 1993)

The Glasgow Haskell Compiler: A Retrospective - Cordelia V. Hall; Kevin Hammond; Will Partain; Simon L. Peyton Jones; Philip Wadler (Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992, 1992)

Strictness Analysis Using Hindley-Milner Type Inference - Cordelia V. Hall (Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991, 1991)

An Algorithmic and Semantic Approach to Debugging - Cordelia V. Hall; Kevin Hammond; John T. O'Donnell (Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, UK, August 13-15, 1990, 1990)

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

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

Compiling Strictness into Streams - Cordelia V. Hall; David S. Wise (Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987, 1987)

Debugging in a side effect free programming environment - Cordelia V. Hall; John T. O'Donnell (Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, SLIPE 1985, Seattle, Washington, USA, June 25-28, 1985, 1985)