Formal semantics for Core?

Matthijs Kooijman matthijs at stdin.nl
Sun Dec 6 15:12:21 EST 2009


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


More information about the Glasgow-haskell-users mailing list