On Wed, 2013-08-07 at 17:48 +0100, Colin Adams wrote: > I thought the OP was talking about software contracts (as in Eiffel / > Design By Contract ).
Oh oops, you're right. SPJ has too many papers about contracts! :-) > On 7 August 2013 16:15, Duncan Coutts <dun...@well-typed.com> wrote: > > > 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: > > > > https://github.com/netrium/Netrium > > > > -- > > Duncan Coutts, Haskell Consultant > > Well-Typed LLP, http://www.well-typed.com/ > > > > > > _______________________________________________ > > Haskell-Cafe mailing list > > Haskell-Cafe@haskell.org > > http://www.haskell.org/mailman/listinfo/haskell-cafe > > -- Duncan Coutts, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
