Hi All,
I have been developing a type inference system which is very similar to type
classes' (by Wadler and Blott). However, I cannot find a detailed
description of the algorithm. In "Type Classes in Haskell", implementation
issues are discussed briefly. However, it is too brief for me to grasp. Does
anybody have any suggestion on where to look?
Thanks,
Robert
_________________________________________________________________
Get an advanced look at the new version of MSN Messenger.
http://messenger.msn.com.sg/Beta/Default.aspx
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe