[Haskell-cafe] CnC Haskell

[Vasili I. Galchin]

On Wed, Jun 23, 2010 at 3:47 PM, Don Stewart <dons at 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<http://hackage.haskell.org/packages/archive/haskell-cnc/latest/doc/html/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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100623/a1d2b097/attachment-0001.html