<div dir="ltr">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.<div>
<br></div><div>Liquid Haskell looks great; might not have been quite what I imagined, but it's definitely more interesting.</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Aug 7, 2013 at 12:53 PM, Duncan Coutts <span dir="ltr"><<a href="mailto:duncan@well-typed.com" target="_blank">duncan@well-typed.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Wed, 2013-08-07 at 17:48 +0100, Colin Adams wrote:<br>
> I thought the OP was talking about software contracts (as in Eiffel /<br>
> Design By Contract ).<br>
<br>
</div>Oh oops, you're right. SPJ has too many papers about contracts! :-)<br>
<div class="HOEnZb"><div class="h5"><br>
> On 7 August 2013 16:15, Duncan Coutts <<a href="mailto:duncan@well-typed.com">duncan@well-typed.com</a>> wrote:<br>
><br>
> > On Mon, 2013-08-05 at 23:13 -0400, Julian Arni wrote:<br>
> > > I've come across interesting papers - and old, sometimes inaccessible,<br>
> > > repositories - related contracts in Haskell (Dana Xu and SPJ's papers;<br>
> > > haskellcontracts and the Programatica Project). And then some newer,<br>
> > > apparently not quite mature projects (Dan Rosen's repositories, for<br>
> > > instance). Is there anything in between - mature, but not abandoned?<br>
> ><br>
> > We did an implementation of the contracts idea for one of our customers<br>
> > which is available (under AGPL or commercial license) on github:<br>
> ><br>
> > <a href="https://github.com/netrium/Netrium" target="_blank">https://github.com/netrium/Netrium</a><br>
> ><br>
> > --<br>
> > Duncan Coutts, Haskell Consultant<br>
> > Well-Typed LLP, <a href="http://www.well-typed.com/" target="_blank">http://www.well-typed.com/</a><br>
> ><br>
> ><br>
> > _______________________________________________<br>
> > Haskell-Cafe mailing list<br>
> > <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
> > <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
> ><br>
<br>
<br>
--<br>
Duncan Coutts, Haskell Consultant<br>
Well-Typed LLP, <a href="http://www.well-typed.com/" target="_blank">http://www.well-typed.com/</a><br>
<br>
</div></div></blockquote></div><br></div>