Sun Sep 20 10:27:49 CEST 2009

Algebra of Programming

Oege De Moor[1] and Richard Bird[2], their book[3] and a LtU
thread[4].  That thread contains some interesting links.  Looks like
this is the place to start for getting some more information on the
subject.  I also asked John Nowak what he's up to, since it seems to
be related to [3]. The thread[4] mentions that Oege stopped pursuing
this line of research becase it is too abstract.  In any case, a bit
more knowledge of category theory would help.  See Maarten
Fokkinga[5]'s [6].

[1] http://www.comlab.ox.ac.uk/people/oege.demoor/
[2] http://www.comlab.ox.ac.uk/people/Richard.Bird/index.html
[3] isbn://013507245
[4] http://lambda-the-ultimate.org/node/1117
[5] http://wwwhome.cs.utwente.nl/~fokkinga/
[6] http://www.cs.utwente.nl/~fokkinga/mmf92b.pdf