25 Aug
2012
25 Aug
'12
9:33 a.m.
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. Cheers, Gershom