2005 |
11 | EE | 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: 525-526 |
1997 |
10 | | Nigel W. O. Hutchison,
Ute Neuhaus,
Manfred Schmidt-Schauß,
Cordelia V. Hall:
Natural Expert: A Commercial Functional Programming Environment.
J. Funct. Program. 7(2): 163-182 (1997) |
1996 |
9 | EE | Cordelia V. Hall,
Kevin Hammond,
Simon L. Peyton Jones,
Philip Wadler:
Type Classes in Haskell.
ACM Trans. Program. Lang. Syst. 18(2): 109-138 (1996) |
1994 |
8 | | Cordelia V. Hall,
Kevin Hammond,
Simon L. Peyton Jones,
Philip Wadler:
Type Classes in Haskell.
ESOP 1994: 241-256 |
7 | EE | Cordelia V. Hall:
Using Hindley-Milner Type Inference to Optimise List Representation.
LISP and Functional Programming 1994: 162-172 |
1993 |
6 | | Cordelia V. Hall:
Using Overloading to Express Distinctions Between Evaluators.
Inf. Process. Lett. 48(1): 1-8 (1993) |
1992 |
5 | | Cordelia V. Hall,
Kevin Hammond,
Will Partain,
Simon L. Peyton Jones,
Philip Wadler:
The Glasgow Haskell Compiler: A Retrospective.
Functional Programming 1992: 62-71 |
1991 |
4 | | Cordelia V. Hall:
Strictness Analysis Using Hindley-Milner Type Inference.
Functional Programming 1991: 128-133 |
1989 |
3 | | Cordelia V. Hall,
David S. Wise:
Generating Function Versions with Rational Strictness Patterns.
Sci. Comput. Program. 12(1): 39-74 (1989) |
1988 |
2 | | John T. O'Donnell,
Cordelia V. Hall:
Debugging in Applicative Languages.
Lisp and Symbolic Computation 1(2): 113-145 (1988) |
1987 |
1 | | Cordelia V. Hall,
David S. Wise:
Compiling Strictness into Streams.
POPL 1987: 132-143 |