On Wed, Jun 23, 2010 at 3:47 PM, Don Stewart <dons@galois.com> wrote:
vigalchin:
> Hello,
>
>      I have been reading work done at Rice University:  http://
> habanero.rice.edu/cnc. Some work has been done by http://www.cs.rice.edu/
> ~dmp4866/ on CnC for .Net. One component that David wrote a CnC translator that
> translates CnC textual form to the underlying language, e.g. F#. Is anybody
> working on a CnC textual form translator for Haskell so a Haskell user of CnC
> Haskell can write in a higher level??

Ah, so by a translator from high level CnC form to this:

   http://hackage.haskell.org/packages/archive/haskell-cnc/latest/doc/hml/Intel-Cnc.html

           ^^ exactly what I mean
 
? Do you have a reference for the "CnC textual form"?
             ^^ if you mean something like a context-free grammatical definition of the "CnC textual form" ,,, the answer is I haven't seen such a reference.

V.



-- Don