Difference between revisions of "Research papers"

From HaskellWiki
Jump to navigation Jump to search
(typo)
m (typos)
Line 19: Line 19:
 
*[[/Compilation|Compilation]]
 
*[[/Compilation|Compilation]]
 
*[[/Type systems|Type systems]]
 
*[[/Type systems|Type systems]]
*[[/Data Structures|Data structures]]
+
*[[/Data structures|Data structures]]
 
*[[/Monads and arrows|Monads and arrows]]
 
*[[/Monads and arrows|Monads and arrows]]
 
*[[/Generics|Generics]]
 
*[[/Generics|Generics]]
 
*[[/Testing and correctness|Testing and correctness]]
 
*[[/Testing and correctness|Testing and correctness]]
*[[/Program Development|Program development]]
+
*[[/Program development|Program development]]
 
*[[/Domain specific languages|Domain specific languages]]
 
*[[/Domain specific languages|Domain specific languages]]
 
*[[/Functional reactive programming|Functional reactive programming]]
 
*[[/Functional reactive programming|Functional reactive programming]]

Revision as of 02:08, 9 April 2006

A lot of documentation exists about Haskell, and its foundations, in the form of research papers written by those investigating language design. And it is this enormous research effort that goes 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.

Overview

Why Functional Programming Matters
John Hughes. Comput. J. 32(2): 98-107 (1989)
A HOT opportunity
Philip Wadler. Journal of Functional Programming, 7(2):127--128, March 1997.
Wearing the hair shirt: a retrospective on Haskell
Simon Peyton Jones. Slides of an invited talk at POPL'03.

Categories