I was indeed talking about software contracts. I should perhaps have made that clearer, since I had of course come across SPJ's financial contract paper due to a similar confusion on Google's part.
Liquid Haskell looks great; might not have been quite what I imagined, but it's definitely more interesting. On Wed, Aug 7, 2013 at 12:53 PM, Duncan Coutts <dun...@well-typed.com>wrote: > 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
