<meta charset="utf-8"><span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; ">Dear Haskellians,<div><br></div><div>After reading through the Dybvig, Jones and Sabry paper on the monadic presentation of delimited continuations, it seems like one can come up with a direct representation of the control contexts and meta continuations framework as an instance of McBride&#39;s dissection mechanism. Do either of you know if that work has already been done? McBride doesn&#39;t use that as an example in his Clowns and Jokers paper.</div>
<div><br></div><div>Best wishes,</div><div><br></div><div>--greg</div></span><br>-- <br>L.G. Meredith<br>Managing Partner<br>Biosimilarity LLC<br>1219 NW 83rd St <br>Seattle, WA 98117<br><br>+1 206.650.3740<br><br><a href="http://biosimilarity.blogspot.com">http://biosimilarity.blogspot.com</a><br>