[Haskell-cafe] Impredicative Types

[Andrew Coppin]

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 
published literature...