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-boun...@haskell.org [mailto:glasgow-haskell-users- | boun...@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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
