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

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


On 3/13/06, Claus Reinke <claus.reinke at talk21.com> 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 gmail.com>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra


More information about the Haskell-prime mailing list