The Algebra of Programming Author:Richard Bird, Oege De Moor Describes an algebraic approach to programming that permits the calculation of programs. Introduces the fundamentals of algebra for programming. Presents paradigms and strategies of program construction that form the core of Algorithm Design. Discusses functions and categories; applications; relations and allegories; datatypes; recursive progra... more »ms, optimization issues, thinning algorithms, dynamic programming and greedy algorithms. Appropriate for all programmers.« less