Formal semantics for Core?
simonpj at microsoft.com
Tue Dec 1 03:17:29 EST 2009
The paper on System FC  has an operational semantics. Would that do?
| -----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...
More information about the Glasgow-haskell-users