Formal semantics for Core?

Matthijs Kooijman matthijs at
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 :-)


-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
Url :

More information about the Glasgow-haskell-users mailing list