Difference between revisions of "Research papers/Functional pearls"

From HaskellWiki
Jump to: navigation, search
m (Online: update broken link)
m
 
Line 153: Line 153:
 
* [http://www.cs.ox.ac.uk/ralf.hinze/publications/ICFP00.ps.gz Deriving Backtracking Monad Transformers] - Ralf Hinze.
 
* [http://www.cs.ox.ac.uk/ralf.hinze/publications/ICFP00.ps.gz Deriving Backtracking Monad Transformers] - Ralf Hinze.
 
* [http://www.cis.upenn.edu/~bcpierce/papers/rsr.ps Recursive subtyping revealed] - Vladimir Gapeyev, Michael Y. Levin and Benjamin C. Pierce.
 
* [http://www.cis.upenn.edu/~bcpierce/papers/rsr.ps Recursive subtyping revealed] - Vladimir Gapeyev, Michael Y. Levin and Benjamin C. Pierce.
* [http://research.microsoft.com/Users/simonpj/Papers/financial-contracts/contracts-icfp.ps.gz Composing contracts: an adventure in financial engineering] - Simon Peyton Jones, Jean-Marc Eber and Julian Seward.
+
* [https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34.493&rep=rep1&type=pdf Composing contracts: an adventure in financial engineering] - Simon Peyton Jones, Jean-Marc Eber and Julian Seward.
  
 
;1999
 
;1999

Latest revision as of 10:05, 10 August 2022

Functional pearls are elegant, instructive examples of functional programming. They are supposed to be fun, and they teach important programming techniques and fundamental design principles. They traditionally appear in The Journal of Functional Programming and and at ICFP and affiliated workshops.

History

The history of functional pearls is covered by:

There have been many functional pearls in JFP and and some others at ICFP and the Haskell Workshop. There is also a collection of them in The Fun of Programming.

The pearls tend to concentrate on:

  • Examples of program calculation and proof
  • Neat presentations of new or old data structures
  • Interesting applications and techniques

Some advice on writing pearls for JFP is available in this editorial.

Online

Functional pearls available online.

2021
2018
2017
2016
2015
2013.
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1994
1993
1992
1991
1988

Potential pearls

Unpublished pearls.