Formal semantics for Core?

Matthijs Kooijman matthijs at
Mon Nov 30 14:28:16 EST 2009

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...


-------------- 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