Difference between revisions of "Research papers"

From HaskellWiki
Jump to: navigation, search
(wibble)
m (Removed link to http://www.catamorphism.net/, it's a picture gallery)
 
(12 intermediate revisions by 8 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 sane 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.
  +
  +
More links to papers can be found at [http://www.dohaskell.com/ dohaskell].
  +
  +
There are E-reader-friendly versions of many PDFs available at [https://github.com/beerendlauwers/haskell-papers-ereader this Github repository].
   
 
==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)
   
Line 11: Line 19:
 
:Simon Thompson, 1997.
 
:Simon Thompson, 1997.
   
;[http://haskell.org/haskellwiki/History_of_Haskell The History of Haskell]
+
;[http://research.microsoft.com/~simonpj/papers/history-of-haskell/index.htm The History of Haskell]
 
:Simon Peyton Jones, Paul Hudak, John Hughes, and Philip Wadler, 2006
 
:Simon Peyton Jones, Paul Hudak, John Hughes, and Philip Wadler, 2006
   
Line 23: Line 31:
 
*[[/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|Software application 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]]
  +
*[[/Functional pearls|Functional pearls: beautiful design]]
   
 
== Authors ==
 
== Authors ==
Line 34: Line 43:
   
 
[[/Top_10|Most cited]] Haskell papers
 
[[/Top_10|Most cited]] Haskell papers
 
See also [http://haskell.readscheme.org/ haskell.readscheme.org]
 

Latest revision as of 11:42, 4 September 2015



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.

More links to papers can be found at dohaskell.

There are E-reader-friendly versions of many PDFs available at this Github repository.

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

Categories

Authors

Authors Index

Top 10

Most cited Haskell papers