[Haskell-cafe] questions about core

Kirsten Chevalier catamorphism at gmail.com
Mon Feb 12 13:31:23 EST 2007

On 2/11/07, Matt Roberts <mattr at ics.mq.edu.au> wrote:
>   - Exactly what are the operational and denotational semantics of core?

Since I don't think this question has been answered yet, here's a
mailing list post from  Simon PJ that probably answers it:

That's from 2003, but I don't think the answer has changed since then.
If you wrote down a precise operational and/or denotational semantics
for Core, you'd probably have a research paper. (Especially if you
proved that GHC actually obeys that semantics...) (Disclaimer: my name
isn't Simon.)


Kirsten Chevalier* chevalier at alum.wellesley.edu *Often in error, never in doubt
"There are no sexist decisions to be made. There are antisexist
decisions to be made. And they require tremendous energy and
self-scrutiny, as well as moral stamina..." -- Samuel R. Delany

More information about the Haskell-Cafe mailing list