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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
