Hello,<div><br></div><div>I&#39;m working on static verification in Haskell, and I search for existing works on specification of Haskell programs (such as pre/post conditions, for example) or any other functional language. It would be great if there exists a prover based on this kind of specifications. I already found the ESC/Haskell. Do you know some other works which could be interesting?</div>
<div><br></div><div>Thanks,</div><div><br></div><div>rde.  <br clear="all"><br>
</div>