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...
More information about the Haskell-Cafe