[Haskell-cafe] Contracts

[Julian Arni]

I've come across interesting papers - and old, sometimes inaccessible,
repositories - related contracts in Haskell (Dana Xu and SPJ's papers;
haskellcontracts and the Programatica Project). And then some newer,
apparently not quite mature projects (Dan Rosen's repositories, for
instance). Is there anything in between - mature, but not abandoned?

Thanks,
  Julian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130805/3d660e73/attachment.htm>