2 Apr
2013
2 Apr
'13
11:32 a.m.
On Mon, Apr 1, 2013 at 11:00 PM, Conal Elliott
... For details, see Jeremy Gibbons's paper "Calculating functional programs". There are probably easier sources as well.
Apologies for the tangential chiming in: on the topic of "easier sources" you can also look at a few other papers, e.g., Programming with algebras (Kiebertz and Lewis). There's also a good book "The Algebra of Programming" (http://www.amazon.com/Algebra-Programming-Prentice-International-Computer/dp...) that might be worth a read if you can pick it up at your local library. There will of course be many other good tutorials on algebra in programming, you can probably google "categorical programming" or terms that get you around that area :-) Kris