Dear all,

Do you know of any recent works on the STG?

In particular, I am looking for a result connecting STG's execution and Core’s call-by-need semantics when written in structural operational semantics style.

Nonetheless, I’m also interested in possibly more recent formulations of STG (e.g. a mechanized one?) beyond the original paper.

Cheers
Rodrigo Mesquita
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs