[Haskell-cafe] Impredicative Types

Gregory Crosswhite gcross at phys.washington.edu
Fri Nov 19 15:27:39 EST 2010


On 11/19/10 12:22 PM, Andrew Coppin wrote:
> Use the Force
I tried, but I'm not yet strong enough in the Force to read citations 
with my eyes closed.  :-(

(PS:  Thanks for pointing me to the paper, Simon!)

Cheers,
Greg


More information about the Haskell-Cafe mailing list