|
Jeremy Gibbons. Calculating Functional Programs. In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Lecture Notes in Computer Science 2297, p148-203, 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
|
|
Calculating Functional Programs
