[Haskell-cafe] formal semantics

[Kristopher Micinski]

On Sat, Aug 25, 2012 at 9:33 AM, Gershom Bazerman <gershomb at gmail.com> wrote:
> On 8/25/12 6:48 AM, Kristopher Micinski wrote:
>>
>> Thus, you typically want to think about the semantics of "core
>> Haskell," in which you might try understanding the semantics of the
>> STG machine.
>>
>
> Along those lines, there's Pirog and Biernacki's "A Systematic Derivation of
> the STG Machine
> Verified in Coq": http://www.cs.ox.ac.uk/files/3858/pirog-biernacki-hs10.pdf
>
> Googling for that to find the pdf also led me to this page of the Haskell
> Wiki, which has some good resources, but is, I'm sure, incomplete:
> http://www.haskell.org/haskellwiki/Language_and_library_specification
>
> Perhaps as material is assembled on the state of Haskell semantics, it can
> be added there as well to help others in the future.
>

Thanks for the pointers, Gershom, it seems reasonable that such a
thing would exist, but I hadn't been aware of it,

kris