Formal semantics for Core?

[Simon Peyton-Jones]

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

Simon

[1] http://research.microsoft.com/~simonpj/papers/ext-f

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-users-
| bounces at haskell.org] 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