Cordelia V. Hall

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