Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Cordelia V. Hall
2010 – today
- 2012
[j6]Cordelia V. Hall, John T. O'Donnell: Regular Expressions as Violin Bowing Patterns. Computer Music Journal 36(2): 74-84 (2012)
[c8]John T. O'Donnell, Cordelia V. Hall: Optimisation and Parallelism in Synchronous Digital Circuit Simulators. CSE 2012: 94-101- 2011
[c7]Marilyn Rose McGee-Lennon, Maria Wolters, Ross McLachlan, Stephen A. Brewster, Cordelia V. Hall: Name that tune: musicons as reminders in the home. CHI 2011: 2803-2806
2000 – 2009
- 2006
[b2]John T. O'Donnell, Cordelia V. Hall, Rex L. Page: Discrete mathematics using a computer (2. ed.). Springer 2006, ISBN 978-1-84628-241-6, pp. I-XIX, 1-441- 2005
[c6]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- 2000
[b1]Cordelia V. Hall, John T. O'Donnell: Discrete mathematics using a computer. Springer 2000, ISBN 978-1-85233-089-7, pp. I-XVIII, 1-339
1990 – 1999
- 1997
[j5]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
[j4]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
[c5]Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler: Type Classes in Haskell. ESOP 1994: 241-256
[c4]Cordelia V. Hall: Using Hindley-Milner Type Inference to Optimise List Representation. LISP and Functional Programming 1994: 162-172- 1993
[j3]Cordelia V. Hall: Using Overloading to Express Distinctions Between Evaluators. Inf. Process. Lett. 48(1): 1-8 (1993)- 1992
[c3]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
[c2]Cordelia V. Hall: Strictness Analysis Using Hindley-Milner Type Inference. Functional Programming 1991: 128-133
1980 – 1989
- 1989
[j2]Cordelia V. Hall, David S. Wise: Generating Function Versions with Rational Strictness Patterns. Sci. Comput. Program. 12(1): 39-74 (1989)- 1988
[j1]John T. O'Donnell, Cordelia V. Hall: Debugging in Applicative Languages. Lisp and Symbolic Computation 1(2): 113-145 (1988)- 1987
[c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-04 21:58 CET by the dblp team



