[Haskell-cafe] formal semantics
gershomb at gmail.com
Sat Aug 25 15:33:40 CEST 2012
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,
Perhaps as material is assembled on the state of Haskell semantics, it
can be added there as well to help others in the future.
More information about the Haskell-Cafe