[Haskell-cafe] using of data types as kinds

Bulat Ziganshin bulatz at HotPOP.com
Tue Nov 22 14:28:21 EST 2005

Hello Simon,

Tuesday, November 22, 2005, 8:17:38 PM, you wrote:

SPJ> I have not written anything about what I plan to do in GHC, but
SPJ> basically it amounts to allowing you to use a data type as a
SPJ> kind.  Busy doing GADTs and impredicativity at the moment though

Simon, i can't download file


reffered at http://research.microsoft.com/~simonpj/papers/boxy/

Best regards,
 Bulat                            mailto:bulatz at HotPOP.com

More information about the Haskell-Cafe mailing list