Jeremy Gibbons. Calculating Functional Programs. In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Lecture Notes in Computer Science 2297, p148203, January 2002.
A detailed introduction to the category theory approach. You don't need to know what a CPO is to read this. But you must be willing to learn...
Not for people who hate math.
Posted to theory by Ehud Lamm on 5/2/02; 1:20:49 AM

