[Haskell-cafe] "Computational Category Theory" in Haskell

jerzy.karczmarczuk at info.unicaen.fr jerzy.karczmarczuk at info.unicaen.fr
Mon Feb 25 19:46:49 EST 2008

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

Jerzy Karczmarczuk 

More information about the Haskell-Cafe mailing list