<div dir="ltr">Was Iavor/Mark's paper ever implemented as a GHC extension?<br><br>"Strongly Typed Memory Areas"<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>