[Haskell-cafe] urWeb, Haskell and dependent types ....

[Vasili I. Galchin]

Hello,

     Here is probably a good paper to get people up to speed on dependent
types (ironically written by two contributors to this mailing list??):
okmij.org/ftp/papers/lightweight-static-capabilities.pdf



Vasili
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110716/cd384aec/attachment.htm>