<br><br><div class="gmail_quote">On Wed, Jun 23, 2010 at 3:47 PM, Don Stewart <span dir="ltr">&lt;<a href="mailto:dons@galois.com">dons@galois.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
vigalchin:<br>
<div><div></div><div class="h5">&gt; Hello,<br>
&gt;<br>
&gt;      I have been reading work done at Rice University:  http://<br>
&gt; <a href="http://habanero.rice.edu/cnc" target="_blank">habanero.rice.edu/cnc</a>. Some work has been done by <a href="http://www.cs.rice.edu/" target="_blank">http://www.cs.rice.edu/</a><br>
&gt; ~dmp4866/ on CnC for .Net. One component that David wrote a CnC translator that<br>
&gt; translates CnC textual form to the underlying language, e.g. F#. Is anybody<br>
&gt; working on a CnC textual form translator for Haskell so a Haskell user of CnC<br>
&gt; Haskell can write in a higher level??<br>
<br>
</div></div>Ah, so by a translator from high level CnC form to this:<br>
<br>
    <a href="http://hackage.haskell.org/packages/archive/haskell-cnc/latest/doc/html/Intel-Cnc.html" target="_blank">http://hackage.haskell.org/packages/archive/haskell-cnc/latest/doc/hml/Intel-Cnc.html</a><br>
<br></blockquote><div>           ^^ exactly what I mean<br> <br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
? Do you have a reference for the &quot;CnC textual form&quot;?<br></blockquote><div>             ^^ if you mean something like a context-free grammatical definition of the &quot;CnC textual form&quot; ,,, the answer is I haven&#39;t seen such a reference.<br>
<br>V.<br><br><br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<font color="#888888"><br>
-- Don<br>
</font></blockquote></div><br>