25 Feb
2008
25 Feb
'08
7:46 p.m.
Derek Elkins writes:
Dan Weston wrote:
Has anyone already ported to Haskell the ML code in Rydeheard and Burstall, "Computational Category Theory"?
This isn't very helpful, but I did several years ago, ...
You might be interested by: "On the expressive power of Constructor Classes" by Luc Duponcheel, and Erik Meijer. Available through citeseer. This has been written under Gofer, should thus work for Hugs, and no reason why not under GHC. Very nice paper. (Of course, Rydeheard and Burstall is their first reference). Jerzy Karczmarczuk