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 inte
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 wrote:
>
> > On Mon, 2013-08-05 at 23
I thought the OP was talking about software contracts (as in Eiffel /
Design By Contract ).
Liquid Haskell is interesting in this respect. Though I doubt if it
qualifies as mature.
On 7 August 2013 16:15, Duncan Coutts wrote:
> On Mon, 2013-08-05 at 23:13 -0400, Julian Arni wrote:
> > I've com
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 matur
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
