alternative translation of type classes to CHR(was:relaxedinstance rules spec)

Taral taralx at
Mon Mar 13 17:57:58 EST 2006

On 3/13/06, Claus Reinke <claus.reinke at> wrote:
> [still talking to myself..?]

This is all wonderful stuff! Are you perhaps planning to put it all
together into a paper?

What effect do you think this can have on existing algorithms to resolve FDs?

Taral <taralx at>
"Computer science is no more about computers than astronomy is about
    -- Edsger Dijkstra

More information about the Haskell-prime mailing list