ClassMethodTypes

Manuel M T Chakravarty chak at cse.unsw.edu.au
Wed Feb 1 21:37:58 EST 2006


Ross Paterson:
> As I read it, the POPL'05 paper cited by the wiki page asserts that
> there is a problem, but does not explain what it is.  Is there a better
> reference?

I just added a slightly more detailed explanation as a subpage to
ClassMethodTypes.

Manuel




More information about the Haskell-prime mailing list