[Haskell-cafe] formal semantics

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Sat Aug 25 21:33:53 CEST 2012

On Sat, Aug 25, 2012 at 8:17 PM, Kristopher Micinski <krismicinski at gmail.com
> wrote:

> Still unsure if the translation from
> Haskell to Core has been verified, I would suspect not, as I haven't
> heard of any such thing.

If it is only Core that has semantics, then it wouldn't make sense to
verify the translation from Haskell to Core. Rather, the translation itself
would be the semantics of (sugared) Haskell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120825/556efb5c/attachment.htm>

More information about the Haskell-Cafe mailing list