R. Bird and P. Wadler. Introduction to functional programming. Prentice Hall, 1988.
 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.
 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.
 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.
 G. Hutton and E. Meijer. Monadic parser combinators. Available from http://www.cs.nott.ac.uk/Department/Staff/gmh/bib.html, 1996.
 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.
 M. P. Jones. Simplifying and improving qualified types. In International Conference on Functional Programming Languages and Computer Architecture, pages 160--169, June 1995.
 M. P. Jones. Exploring the design space for type-based implicit parameterization. July 1999.
 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/.
 S. Peyton Jones and J. Hughes (editors). Standard libraries for the Haskell 98 programming language, February 1999. Available from http://www.haskell.org/definition/.
 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.
 The Hugs/GHC Team. The Hugs-GHC Extension Libraries, January 1999. Available from http://www.haskell.org/libraries/.