Functional Algorithm Design

This publication has 11 references indexed in Scilit:

• Algebraic calculation of graph and sorting algorithms
  Published by Springer Nature ,2006
• The Algebra of Programming
  Published by Springer Nature ,1996
• State in Haskell
  Higher-Order and Symbolic Computation, 1995
• Functional programming with bananas, lenses, envelopes and barbed wire
  Published by Springer Nature ,1991
• Formal derivation of a pattern matching algorithm
  Science of Computer Programming, 1989
• Homomorphisms and promotability
  Published by Springer Nature ,1989
• Worst-case Analysis of Set Union Algorithms
  Journal of the ACM, 1984
• A synthesis of several sorting algorithms
  Acta Informatica, 1978
• Efficiency of a Good But Not Linear Set Union Algorithm
  Journal of the ACM, 1975
• Algorithms
  Communications of the ACM, 1964