Difference between revisions of "Research papers"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (More stuff) |
m |
||
| (24 intermediate revisions by 10 users not shown) | |||
| Line 1: | Line 1: | ||
| + | [[Category:Research]] |
||
| ⚫ | A lot of documentation exists about Haskell, and its foundations, in the form of research papers written by those investigating language design. |
||
| + | |||
| + | __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. |
||
| + | |||
| + | 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. |
+ | ;[http://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf Why Functional Programming Matters] |
: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] |
||
| − | :Philip Wadler. Journal of Functional Programming, 7(2):127--128, March 1997. |
||
| − | |||
| − | ;[http://research.microsoft.com/~simonpj/Papers/haskell-retrospective/index.htm Wearing the hair shirt: a retrospective on Haskell] |
||
| − | :Simon Peyton Jones. Slides of an invited talk at POPL'03. |
||
;[http://www.cs.kent.ac.uk/pubs/1997/224/index.html Higher-order + Polymorphic = Reusable] |
;[http://www.cs.kent.ac.uk/pubs/1997/224/index.html Higher-order + Polymorphic = Reusable] |
||
:Simon Thompson, 1997. |
:Simon Thompson, 1997. |
||
| + | |||
| + | ;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.168.4008&rep=rep1&type=pdf A History of Haskell: being lazy with class] |
||
| + | :Simon Peyton Jones, Paul Hudak, John Hughes, and Philip Wadler, 2007. |
||
==Categories== |
==Categories== |
||
*[[/Runtime systems|Runtime systems]] |
*[[/Runtime systems|Runtime systems]] |
||
| + | *[[/Parallelism and concurrency|Parallelism and concurrency]] |
||
*[[/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|Generic programming]] |
| − | *[[/Testing and correctness| |
+ | *[[/Testing and correctness|Proofs, verification and testing]] |
| − | *[[/Program development| |
+ | *[[/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|Authors Index]] |
||
| + | |||
| + | == Top 10 == |
||
| + | [[/Top_10|Most cited]] Haskell papers |
||
| − | See also [http://haskell.readscheme.org/ haskell.readscheme.org] |
||
Latest revision as of 05:37, 1 September 2022
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.
There are E-reader-friendly versions of many PDFs available at this Github repository.
Overview
- Why Functional Programming Matters
- John Hughes. Comput. J. 32(2): 98-107 (1989)
- Higher-order + Polymorphic = Reusable
- Simon Thompson, 1997.
- A History of Haskell: being lazy with class
- Simon Peyton Jones, Paul Hudak, John Hughes, and Philip Wadler, 2007.
Categories
- Runtime systems
- Parallelism and concurrency
- Compilation
- Type systems
- Data structures
- Monads and arrows
- Generic programming
- Proofs, verification and testing
- Software application development
- Domain specific languages
- Functional reactive programming
- Functional pearls: beautiful design
Authors
Top 10
Most cited Haskell papers