On Sat, Aug 25, 2012 at 9:33 AM, Gershom Bazerman <gersh...@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 > 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
