Pearls of Functional Algorithm Design

@inproceedings{Bird2010PearlsOF,
  title={Pearls of Functional Algorithm Design},
  author={Richard S. Bird},
  year={2010}
}
Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 27 REFERENCES

The KMP algorithm

  • Knuth
  • (e.g. Gusfield,
  • 1977
Highly Influential
10 Excerpts

KMP and BM algorithms by partial evaluation

  • Ager
  • 2003
Highly Influential
3 Excerpts

Hutton’s proof dealt with the correctness of countdown2

  • R. S. Bird, Mu, S.-C
  • 2005

The streaming theorem is new

  • Moffat
  • 2003