Cordelia V. Hall

	2012
15		Cordelia V. Hall, John T. O'Donnell: Regular Expressions as Violin Bowing Patterns. Computer Music Journal 36(2): 74-84 (2012)
	2011
14		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
	2006
13		John T. O'Donnell, Cordelia V. Hall, Rex L. Page: Discrete mathematics using a computer (2. ed.). Springer 2006: I-XIX, 1-441
	2005
12		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
11		Cordelia V. Hall, John T. O'Donnell: Discrete mathematics using a computer. Springer 2000: I-XVIII, 1-339
	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		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		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

Coauthor Index

1	Sarah Baillie	[12]
2	Stephen A. Brewster	[12] [14]
3	Kevin Hammond	[5] [8] [9]
4	Nigel W. O. Hutchison	[10]
5	Simon L. Peyton Jones	[5] [8] [9]
6	Marilyn Rose McGee-Lennon (Marilyn Rose McGee)	[14]
7	Ross McLachlan	[14]
8	Ute Neuhaus	[10]
9	John T. O'Donnell	[2] [11] [12] [13] [15]
10	Rex L. Page	[13]
11	Will Partain	[5]
12	Manfred Schmidt-Schauß	[10]
13	Philip Wadler	[5] [8] [9]
14	David S. Wise	[1] [3]
15	Maria Wolters	[14]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page