21 Apr
2006
21 Apr
'06
9:12 a.m.
Hello Simon, Friday, April 21, 2006, 12:22:00 PM, you wrote:
There are several papers at the level you're interested in, I think: Lennart's "Implementing Haskell Overloading" is a good one, and you might find "Type classes in Haskell" (Hall/Hammond/Peyton Jones/Wadler) useful, also "Implementing Type Classes" (Peterson/Jones).
to be exact, i'm intersting in papers about SPECIFYING class system what allows to implement this in this particular ways -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com