Formal semantics for Core?
matthijs at stdin.nl
Mon Nov 30 14:28:16 EST 2009
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
Size: 197 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20091130/dcf7447e/attachment.bin
More information about the Glasgow-haskell-users