Personal tools

Research papers

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(And then index the subpages)
m (Overview: removed broken link)
 
(22 intermediate revisions by 6 users not shown)
Line 1: Line 1:
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.
+
[[Category:Research]]
  +
  +
__NOTOC__
  +
  +
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.
 
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.
Line 5: Line 5:
 
==Overview==
 
==Overview==
   
;[http://www.cs.chalmers.se/~rjmh/Papers/whyfp.html Why Functional Programming Matters]
+
;[http://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf Why Functional Programming Matters] ∷ PDF
 
:John Hughes. Comput. J. 32(2): 98-107 (1989)
 
:John Hughes. Comput. J. 32(2): 98-107 (1989)
   
;[http://homepages.inf.ed.ac.uk/wadler/papers/hot/hot.ps.gz A HOT opportunity]
+
;[http://www.cs.kent.ac.uk/pubs/1997/224/index.html Higher-order + Polymorphic = Reusable]
:Philip Wadler. Journal of Functional Programming, 7(2):127--128, March 1997.
+
:Simon Thompson, 1997.
   
;[http://research.microsoft.com/~simonpj/Papers/haskell-retrospective/index.htm Wearing the hair shirt: a retrospective on Haskell]
+
;[http://research.microsoft.com/~simonpj/papers/history-of-haskell/index.htm The History of Haskell]
:Simon Peyton Jones. Slides of an invited talk at POPL'03.
+
:Simon Peyton Jones, Paul Hudak, John Hughes, and Philip Wadler, 2006
   
 
==Categories==
 
==Categories==
   
*[[/Research papers/Runtime systems|Runtime systems]]
+
*[[/Runtime systems|Runtime systems]]
*[[/Research papers/Compilation|Compilation]]
+
*[[/Parallelism and concurrency|Parallelism and concurrency]]
*[[/Research papers/Type systems|Type systems]]
+
*[[/Compilation|Compilation]]
*[[/Research papers/Data Structures|Data structures]]
+
*[[/Type systems|Type systems]]
*[[/Research papers/Monads and arrows|Monads and arrows]]
+
*[[/Data structures|Data structures]]
*[[/Research papers/Generics|Generics]]
+
*[[/Monads and arrows|Monads and arrows]]
*[[/Research papers/Testing and correctness|Testing and correctness]]
+
*[[/Generics|Generic programming]]
*[[/Research papers/Program Development|Program development]]
+
*[[/Testing and correctness|Proofs, verification and testing]]
*[[/Research papers/Domain specific languages|Domain specific languages]]
+
*[[/Program development|Software application development]]
*[[/Research papers/Functional reactive programming|Functional reactive programming]]
+
*[[/Domain specific languages|Domain specific languages]]
  +
*[[/Functional reactive programming|Functional reactive programming]]
  +
*[[/Functional pearls|Functional pearls: beautiful design]]
  +
  +
== Authors ==
  +
[[/Authors|Authors Index]]
  +
  +
== Top 10 ==
  +
  +
[[/Top_10|Most cited]] Haskell papers
  +
  +
== Bibliography ==
  +
  +
[http://www.catamorphism.net/ Functional Programming Bibliography]
  +
  +
A searchable bibliographic database, concentrating on Haskell, with over 1,500 citations.

Latest revision as of 12:36, 19 January 2012



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.

[edit] 1 Overview

Why Functional Programming Matters ∷ PDF
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

[edit] 2 Categories

[edit] 3 Authors

Authors Index

[edit] 4 Top 10

Most cited Haskell papers

[edit] 5 Bibliography

Functional Programming Bibliography

A searchable bibliographic database, concentrating on Haskell, with over 1,500 citations.