<div dir="ltr">Was Iavor/Mark&#39;s paper ever implemented as a GHC extension?<br><br>&quot;Strongly Typed Memory Areas&quot;<br><a href="http://galois.com/down/2006_ID_Strongly.pdf">http://galois.com/down/2006_ID_Strongly.pdf</a><br clear="all">
<br>-- <br>/jve<br>
</div>