Functional Pearl Trouble Shared is Trouble Halved

Proceedings of the 2003 ACM SIGPLAN Haskell Workshop

Volumn , Issue , 2003, Pages 1-6

  Bird, Richard ^a   Hinze, Ralf ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF BONN   (Germany)

Author keywords

Binomial trees; Boolean lattices; Haskell; Memoization; Purely functional data structures; Sharing

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; PROGRAM COMPILERS; THEOREM PROVING;

BINOMIAL TREES; HASKELL; MEMOIZATION; PURELY FUNCTIONAL DATA STRUCTURES; SHARING; BINOMIAL TREE; BOOLEAN LATTICE; FUNCTIONAL DATAS;

TREES (MATHEMATICS);

EID: 1542537893     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/871895.871896     Document Type: Conference Paper

References (11)

1. Richard Bird and Oege de Moor. Algebra of Programming. Prentice Hall Europe, London, 1997.
2. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms. The MIT Press, Cambridge, Massachusetts, second edition, 2001.
3. Ralf Hinze. Memo functions, polytypically! In Johan Jeuring, editor, Proceedings of the 2nd Workshop on Generic Programming, Ponte de Lima, Portugal, pages 17-32, July 2000. The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19.
4. Graham Hutton. Functional Pearl: the countdown problem. Journal of Functional Programming, 12(6):609-616, November 2002.
5. Donald E. Knuth. The Art of Computer Programming, Volume 1: Fundamental Algorithms. Addison-Wesley Publishing Company, 3rd edition, 1997.
6. E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In 5th ACM Conference on Functional Programming Languages and Computer Architecture, FPCA'91, Cambridge, MA, USA, volume 523 of Lecture Notes in Computer Science, pages 124-144. Springer-Verlag, 1991.
7. Donald Michie. "Memo" functions and machine learning. Nature, (218):19-22, April 1968.
8. Shin-Cheng Mu. A calculational approach to program inversion. PhD thesis, Oxford University Computing Laboratory, 2003.
9. Chris Okasaki. Functional Pearl: Three algorithms on Braun trees. Journal of Functional Programming, 7(6), November 1997.
10. Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, 2003.
11. Neil Sarnak and Robert E. Tarjan. Planar point location using persistent search trees. Communications of the ACM, 29(7):669-679, July 1986.