[Haskell-cafe] Contracts

Julian Arni julian at edx.org
Tue Aug 6 05:13:06 CEST 2013

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?

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

More information about the Haskell-Cafe mailing list