Personal tools

Research papers

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(no toc)
(wibble)
Line 27: Line 27:
 
*[[/Monads and arrows|Monads and arrows]]
 
*[[/Monads and arrows|Monads and arrows]]
 
*[[/Generics|Generic programming]]
 
*[[/Generics|Generic programming]]
*[[/Testing and correctness|Testing and correctness]]
+
*[[/Testing and correctness|Proofs, verification and testing]]
 
*[[/Program development|Applications]]
 
*[[/Program development|Applications]]
 
*[[/Domain specific languages|Domain specific languages]]
 
*[[/Domain specific languages|Domain specific languages]]

Revision as of 02:48, 3 December 2006



A lot of documentation exists about Haskell, and its foundations, in the form of research papers written by those investigating language design. An enormous research effort, by hundreds of researchers over the past 20 years, has gone into making Haskell such a great language. In general, if a feature is not well understood, it isn't going to become part of the language.

Here is a selection of those papers, with the goal of making the wealth of material published on Haskell more available to the casual user, and not just researchers. Some of the papers are highly technical, others, not so. These papers are not suitable for those trying to learn the language from scratch, but more for those looking for a deeper understanding of the theoretical and practical aspects of Haskell.

1 Overview

Why Functional Programming Matters
John Hughes. Comput. J. 32(2): 98-107 (1989)
Higher-order + Polymorphic = Reusable
Simon Thompson, 1997.
The History of Haskell
Simon Peyton Jones, Paul Hudak, John Hughes, and Philip Wadler, 2006

2 Categories

3 Authors

Authors Index

4 Top 10

Most cited Haskell papers

See also haskell.readscheme.org