<p>TOPLAS<br>
Journal of Functional Programming<br></p>
<p>are both excellent choices. There are also other qualified venues such as HOSC.</p>
<p>Shriram</p>
<p>--<br>
Pardon terseness and mistakes -- sent from phone.</p>