[Haskell-cafe] Impredicative Types

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

More information about the Haskell-Cafe mailing list