Haskell

Haskell is the reference among pure lazy functional programming languages. 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.

The Haskell Home Page.
The Glasgow Haskell Group.
The Yale Haskell Group.
Simon Peyton Jones' WWW Site.
Paul Hudak's WWW Site.
Lennart Augustsson's WWW Site.
Glasgow FP Abstracts. Descriptions of and links to papers on Functional Programming
Papers by Andrew D. Gordon.
Dr Graham Hutton's WWW Site.
Philip Wadler's papers on monads.

The Glasgow Haskell Compiler.
HBC.
jhc a haskell compiler which aims to produce the most efficient programs possible via whole program analysis and other optimizations.
Hugs.
Data Field Haskell extend Haskell with collection-oriented capabilities via data fields, a generic and flexible data type for indexed entities.
Glasgow Parallel Haskell (GPH).
pH: Parallel Haskell.
Eager Haskell.

Unsorted

#Haskell IRC channel on the FreeNode network. Clog's #haskell logs.
Chameleon - a Haskell-style programming language with flexible overloading via constraint handling rules.
Concurrent Haskell.
Compiler Toolkit in Haskell.
DData - a library of efficient data structures and algorithms for Haskell.
Ebnf2ps.
Fran - Functional Reactive ANimation.
Generic Haskell.
Goffin - distributed Haskell.
Haggis - a compositional user interface framework for Haskell.
Hash - HAskell SHell.
Haskell++ - Haskell object-oriented extension.
Haskerl.
"Haxcel: A Spreadsheet Interface to Haskell" (other page).
Helium - a Haskell subset.
John hughes.
Little Haskeller by John Hughes? and Cordelia Hall.
LPS - Language Prototyping System, a system for writing modular interpreters implemented in Haskell.
Mini-Haskell Partial Evaluator.
NHC - Nearly a Haskell 1.3 Compiler.
Pan - an image synthesis/manipulation language.
Pprint - an implementation of the pretty printing combinators? described by Philip Wadler.
Ralf Hinze's software.
Smarty - a Haskell IDE in Squeak.
Tabaluga - a paramorphic fold and algebra generator for Haskell.
Wash - Web Authoring System Haskell.
wxHaskell - GUI library for Haskell.

Page in this topic: O'Haskell

Also linked from: Whitespace Cayenne Charity Clean Cryptol Eden Escher hOp Lambda VM Linear Logic Microkernel Microkernel Debate Monads 101 Parsing PL 101 Relational Scheme Simon Peyton Jones Type System Vital Yarrow