<div class="gmail_quote">Dear Haskell Cafe<br><br>I&#39;m looking for information on past and current attempts to write semantics for Haskell.<br>Features I&#39;m particularly interested in are:<br><ul><li>formal</li><li>mechanised</li>

<li>maintainable</li>
<li>up to date</li></ul>Of course, if nothing like that exists then partial attempts towards it could still be useful.<br><br>My ultimate aims include:<br><ol><li>Make it viable to define Haskell formally (i.e. so mechanised semantics can take over the normative role of the Haskell reports).<br>


</li><li>Write a verified (or verify an existing) Haskell compiler (where verified means semantics preserving).</li></ol>Cheers,<br>Ramana
</div><br>