Formal semantics for Core?

Simon Peyton-Jones simonpj at
Tue Dec 1 03:17:29 EST 2009

The paper on System FC [1] has an operational semantics.  Would that do?  



| -----Original Message-----
| From: glasgow-haskell-users-bounces at [mailto:glasgow-haskell-users-
| bounces at] On Behalf Of Matthijs Kooijman
| Sent: 30 November 2009 19:28
| To: GHC-users
| Subject: Formal semantics for Core?
| 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...
| Gr.
| Matthijs

More information about the Glasgow-haskell-users mailing list