Cordelia V. Hall

Publication Activity (10 Years)

Years Active: 1985-2016
Publications (10 Years): 1

Top Topics

Functional Decomposition

Regular Expressions

Semistructured Data

Top Venues

A List of Successes That Can Change the World

Comput. Music. J.

Euro-Par Workshops

Publications

John T. O'Donnell, Cordelia V. Hall
Pointlessness is Better than Listlessness. A List of Successes That Can Change the World (2016)
John T. O'Donnell, Cordelia V. Hall, Stuart Monro
Active Data Structures on GPGPUs. Euro-Par Workshops (2013)
John T. O'Donnell, Cordelia V. Hall
Optimisation and Parallelism in Synchronous Digital Circuit Simulators. CSE (2012)
Cordelia V. Hall, John T. O'Donnell
Regular Expressions as Violin Bowing Patterns. Comput. Music. J. 36 (2) (2012)
Marilyn Rose McGee-Lennon, Maria K. Wolters, Ross McLachlan, Stephen A. Brewster, Cordelia V. Hall
Name that tune: musicons as reminders in the home. CHI (2011)
Cordelia V. Hall, John T. O'Donnell, Bill Findlay
Bowing Models for String Players. ICMC (2009)
Cordelia V. Hall, John T. O'Donnell
Using Regular Expressions to Express Bowing Patterns for String Players. ICMC (2009)
Sarah Baillie, Stephen A. Brewster, Cordelia V. Hall, John T. O'Donnell
Motion Space Reduction in a Haptic Model of Violin and Viola Bowin. WHC (2005)
Nigel W. O. Hutchison, Ute Neuhaus, Manfred Schmidt-Schauß, Cordelia V. Hall
Natural Expert: A Commercial Functional Programming Environment. J. Funct. Program. 7 (2) (1997)
Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler
Type Classes in Haskell. ACM Trans. Program. Lang. Syst. 18 (2) (1996)
Cordelia V. Hall, Simon L. Peyton Jones, Patrick M. Sansom
Unboxing using Specialisation. Functional Programming (1994)
Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler
Type Classes in Haskell. ESOP (1994)
Cordelia V. Hall
Using Hindley-Milner Type Inference to Optimise List Representation. LISP and Functional Programming (1994)
Cordelia V. Hall
Using Overloading to Express Distinctions Between Evaluators. Inf. Process. Lett. 48 (1) (1993)
Cordelia V. Hall
A framework for optimising abstract data types. Functional Programming (1993)
Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler
The Glasgow Haskell Compiler: A Retrospective. Functional Programming (1992)
Cordelia V. Hall
Strictness Analysis Using Hindley-Milner Type Inference. Functional Programming (1991)
Cordelia V. Hall, Kevin Hammond, John T. O'Donnell
An Algorithmic and Semantic Approach to Debugging. Functional Programming (1990)
Cordelia V. Hall, David S. Wise
Generating Function Versions with Rational Strictness Patterns. Sci. Comput. Program. 12 (1) (1989)
John T. O'Donnell, Cordelia V. Hall
Debugging in Applicative Languages. LISP Symb. Comput. 1 (2) (1988)
Cordelia V. Hall, David S. Wise
Compiling Strictness into Streams. POPL (1987)
Cordelia V. Hall, John T. O'Donnell
Debugging in a side effect free programming environment. ACM SIGPLAN Notices 20 (7) (1985)