26 May
2024
26 May
'24
8:02 a.m.
I don’t know myself, but I would suggest reaching out to Csaba. I believe he might have a good grasp on the STG literature. On Sun, 26 May 2024 at 7:40 PM, Rodrigo Mesquita < rodrigo.m.mesquita@gmail.com> wrote:
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