Lambda the Ultimate

inactiveTopic Calculating Functional Programs
started 5/2/2002; 1:18:40 AM - last post 5/3/2002; 3:54:30 AM
Ehud Lamm - Calculating Functional Programs  blueArrow
5/2/2002; 1:18:40 AM (reads: 1821, responses: 1)
Calculating Functional Programs
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

Ehud Lamm - Re: Calculating Functional Programs  blueArrow
5/3/2002; 3:54:30 AM (reads: 820, responses: 0)
And oh, the appendix contains Haskell code implementing the important concepts.