Cordelia V. Hall

According to our database, Cordelia V. Hall authored at least 23 papers between 1985 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Pointlessness is Better than Listlessness.

John T. O'Donnell, Cordelia V. Hall

Proceedings of the A List of Successes That Can Change the World, 2016

2013

Active Data Structures on GPGPUs.

John T. O'Donnell, Cordelia V. Hall, Stuart Monro

Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

2012

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

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2011

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, 2011

2009

Bowing Models for String Players.

Cordelia V. Hall, John T. O'Donnell, Bill Findlay

Proceedings of the 2009 International Computer Music Conference, 2009

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, 2009

2006

Discrete mathematics using a computer (2. ed.).

John T. O'Donnell, Cordelia V. Hall, Rex L. Page

Springer, ISBN: 978-1-84628-241-6, 2006

2005

Motion Space Reduction in a Haptic Model of Violin and Viola Bowin.

Sarah Baillie, Stephen A. Brewster, Cordelia V. Hall, John T. O'Donnell

Proceedings of the First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, 2005

2000

Discrete mathematics using a computer.

Cordelia V. Hall, John T. O'Donnell

Springer, ISBN: 978-1-85233-089-7, 2000

1997

Natural Expert: A Commercial Functional Programming Environment.

Nigel W. O. Hutchison, Ute Neuhaus, Manfred Schmidt-Schauß, Cordelia V. Hall

J. Funct. Program., 1997

1996

Type Classes in Haskell.

Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler

ACM Trans. Program. Lang. Syst., 1996

1994

Using Hindley-Milner Type Inference to Optimise List Representation.

Cordelia V. Hall

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

Unboxing using Specialisation.

Cordelia V. Hall, Simon L. Peyton Jones, Patrick M. Sansom

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

1993

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, 1993

1992

The Glasgow Haskell Compiler: A Retrospective.

Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler

Proceedings of the Functional Programming, 1992

1991

Strictness Analysis Using Hindley-Milner Type Inference.

Cordelia V. Hall

Proceedings of the Functional Programming, 1991

1990

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, 1990

1989

Generating Function Versions with Rational Strictness Patterns.

Cordelia V. Hall, David S. Wise

Sci. Comput. Program., 1989

1988

Debugging in Applicative Languages.

John T. O'Donnell, Cordelia V. Hall

LISP Symb. Comput., 1988

1987

Compiling Strictness into Streams.

Cordelia V. Hall, David S. Wise

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

1985

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, 1985