On Sat, Aug 25, 2012 at 9:33 AM, Gershom Bazerman
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 Veriļ¬ed 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