Formal semantics for Core?
matthijs at stdin.nl
Sun Dec 6 15:12:21 EST 2009
> The paper on System FC  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 :-)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
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