Search the dblp DataBase
Cordelia V. Hall :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Nigel W. O. Hutchison , Ute Neuhaus , Manfred Schmidt-Schauß , Cordelia V. Hall Natural Expert: A Commercial Functional Programming Environment. [Citation Graph (1, 0)][DBLP ] J. Funct. Program., 1997, v:7, n:2, pp:163-182 [Journal ] Cordelia V. Hall , Kevin Hammond , Simon L. Peyton Jones , Philip Wadler Type Classes in Haskell. [Citation Graph (0, 0)][DBLP ] ESOP, 1994, pp:241-256 [Conf ] Cordelia V. Hall Strictness Analysis Using Hindley-Milner Type Inference. [Citation Graph (0, 0)][DBLP ] Functional Programming, 1991, pp:128-133 [Conf ] Cordelia V. Hall , Kevin Hammond , Will Partain , Simon L. Peyton Jones , Philip Wadler The Glasgow Haskell Compiler: A Retrospective. [Citation Graph (0, 0)][DBLP ] Functional Programming, 1992, pp:62-71 [Conf ] Sarah Baillie , Stephen A. Brewster , Cordelia V. Hall , John T. O'Donnell Motion Space Reduction in a Haptic Model of Violin and Viola Bowin. [Citation Graph (0, 0)][DBLP ] WHC, 2005, pp:525-526 [Conf ] Cordelia V. Hall Using Hindley-Milner Type Inference to Optimise List Representation. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1994, pp:162-172 [Conf ] Cordelia V. Hall , David S. Wise Compiling Strictness into Streams. [Citation Graph (0, 0)][DBLP ] POPL, 1987, pp:132-143 [Conf ] Cordelia V. Hall Using Overloading to Express Distinctions Between Evaluators. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1993, v:48, n:1, pp:1-8 [Journal ] John T. O'Donnell , Cordelia V. Hall Debugging in Applicative Languages. [Citation Graph (0, 0)][DBLP ] Lisp and Symbolic Computation, 1988, v:1, n:2, pp:113-145 [Journal ] Cordelia V. Hall , David S. Wise Generating Function Versions with Rational Strictness Patterns. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1989, v:12, n:1, pp:39-74 [Journal ] Cordelia V. Hall , Kevin Hammond , Simon L. Peyton Jones , Philip Wadler Type Classes in Haskell. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1996, v:18, n:2, pp:109-138 [Journal ] Search in 0.001secs, Finished in 0.002secs