[1] R. Bird and P. Wadler. Introduction to functional programming. Prentice Hall, 1988.

[2] K. Chen, P. Hudak, and M. Odersky. Parametric type classes (extended abstract). In ACM conference on LISP and Functional Programming, San Francisco, CA, June 1992.

[3] B. R. Gaster and M. P. Jones. A polymorphic type system for extensible records and variants. Technical Report NOTTCS-TR-96-3, Computer Science, University of Nottingham, November 1996.

[4] P. Hudak and J. Fasel. A gentle introduction to Haskell. ACM SIGPLAN Notices, 27(5), May 1992. Also available as Research Report YALEU/DCS/RR-901, Yale University, Department of Computer Science, April 1992.

[5] G. Hutton and E. Meijer. Monadic parser combinators. Available from `http://www.cs.nott.ac.uk/Department/Staff/gmh/bib.html`, 1996.

[6] M. Jones. The implementation of the Gofer functional programming system. Research Report YALEU/DCS/RR-1030, Yale University, New Haven, Connecticut, USA, May 1994. Available on the World-Wide Web from `http://www.cse.ogi.edu/mpj/pubs.html`.

[7] M. P. Jones. Simplifying and improving qualified types. In International Conference on Functional Programming Languages and Computer Architecture, pages 160--169, June 1995.

[8] M. P. Jones. Exploring the design space for type-based implicit parameterization. July 1999.

[9] S. Peyton Jones and J. Hughes (editors). Report on the Programming Language Haskell 98, A Non-strict Purely Functional Language, February 1999. Available from `http://www.haskell.org/definition/`.

[10] S. Peyton Jones and J. Hughes (editors). Standard libraries for the Haskell 98 programming language, February 1999. Available from `http://www.haskell.org/definition/`.

[11] S. Peyton Jones, M. Jones, and E. Meijer. Type classes: Exploring the design space. In Proceedings of the Second Haskell Workshop, Amsterdam, June 1997. Available on the web from `http://www.cse.ogi.edu/mpj/pubs/multi.html`.

[12] The Hugs/GHC Team. The Hugs-GHC Extension Libraries, January 1999. Available from `http://www.haskell.org/libraries/`.