Alan Wood:
...
> On another point ... I assume *someone* out there must have re-written the ML
> code from Rydeheard and Burstall's 'Computational Category Theroy' in Haskell -
> even if only partially. If you have, I'd welcome a copy of the code.
>
> Alan
>
> --
> Dr A.M. Wood email: [EMAIL PROTECTED]
Perhaps I missed some postings, but a reasonable starting point is
also the article by Erik Meijer and Luc Duponcheel on the categorical
prelude to Gofer:
http://www.cs.ruu.nl/people/luc/GlasgowFP94.ps
Jerzy Karczmarczuk
Caen, France.