Formal semantics for Core?

[Matthijs Kooijman]

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.

Matthijs
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20091206/3db4cf02/attachment.bin