[Haskell-cafe] Contracts

Duncan Coutts duncan at well-typed.com
Wed Aug 7 17:15:32 CEST 2013

On Mon, 2013-08-05 at 23:13 -0400, Julian Arni wrote:
> 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?

We did an implementation of the contracts idea for one of our customers
which is available (under AGPL or commercial license) on github:


Duncan Coutts, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/

More information about the Haskell-Cafe mailing list