[Haskell-cafe] Impredicative Types
andrewcoppin at btinternet.com
Fri Nov 19 15:22:56 EST 2010
On 19/11/2010 08:09 PM, Simon Peyton-Jones wrote:
> read the QML paper! that's the trick. simpler, but with a heavier annotation burden than the more sophisticated approaches
Use the Force, read the... citation?
Hmm, doesn't have quite the same ring, does it?
Use the Force, read the symposium?
Well, whatever. I still think it's cool that Haskell generates this much
More information about the Haskell-Cafe