<P>
Haskell is the reference among pure lazy *(functional) *(programming language)s. It serves as a bench for much research and teaching in pure functional languages. In has an elaborate type system including both ad hoc polymorphism (operator overloading) and uniform polymorphism (universal type quantification, plus restricted existential quantification). It might be called a functional _(object-oriented) language.
</P>
<UL CLASS="links">
<LI><A HREF="http://www.haskell.org/">WWW Site</A></LI>
<LI><A HREF="http://www.dcs.gla.ac.uk/fp/">The Glasgow Haskell Group</A></LI>
<LI><A HREF="http://haskell.cs.yale.edu/yale/">The Yale Haskell Group</A></LI>
<LI><A HREF="http://research.microsoft.com/Users/simonpj">Simon Peyton Jones' WWW Site</A></LI>
<LI><A HREF="http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/hudak-paul.html">Paul Hudak's WWW Site</A></LI>
<LI><A HREF="http://www.md.chalmers.se/~augustss/">Lennart Augustsson's WWW Site</A></LI>
<LI><A HREF="http://www.dcs.gla.ac.uk/fp/papers/ABSTRACTS.html">Glasgow FP Abstracts</A></LI>
<LI>Descriptions of and links to papers on Functional Programming</LI>
<LI><A HREF="ftp://ftp.cl.cam.ac.uk/papers/adg/index.html">Papers by Andrew D. Gordon</A></LI>
<LI><A HREF="http://www.cs.nott.ac.uk/~gmh/">Dr Graham Hutton's WWW Site</A></LI>
<LI><A HREF="http://www.research.avayalabs.com/user/wadler/topics/monads.html">Philip Wadler's papers on monads</A></LI>
</UL>
<UL CLASS="implementations">
<LI><A HREF="http://www.haskell.org/ghc/">The Glasgow Haskell Compiler</A></LI>
<LI><A HREF="http://www.math.chalmers.se/~augustss/hbc/hbc.html">HBC</A></LI>
<LI><A HREF="http://www.haskell.org/hugs/">Hugs</A></LI>
</UL>