catamorphism:
> On 11/30/09, Matthijs Kooijman wrote:
> > Hi All,
> >
> > I was wondering if there are any formal semantics defined for GHC's core
> > language? I'm working with some core to core rewriting passes for which I'd
> > like to verify the soundness, but that would require some formal
On 11/30/09, Matthijs Kooijman wrote:
> Hi All,
>
> I was wondering if there are any formal semantics defined for GHC's core
> language? I'm working with some core to core rewriting passes for which I'd
> like to verify the soundness, but that would require some formal definition
> of
> the C
Hi Simon,
> The paper on System FC [1] has an operational semantics. Would that do?
It seems like a start. It doesn't matter much, since I don't have any time
left to actually work on this, but I wanted to verify my claim in my report
that no directly usable semantics are available :-)
Gr.
Ma
Kooijman
| Sent: 30 November 2009 19:28
| To: GHC-users
| Subject: Formal semantics for Core?
|
| Hi All,
|
| I was wondering if there are any formal semantics defined for GHC's core
| language? I'm working with some core to core rewriting passes for which I'd
| like to verify the soun
Hi All,
I was wondering if there are any formal semantics defined for GHC's core
language? I'm working with some core to core rewriting passes for which I'd
like to verify the soundness, but that would require some formal definition of
the Core semantics of sorts...
Gr.
Matthijs
signature.asc
