Looking for recent works on STG

[Moritz Angermann]

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 at 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20240526/a6472552/attachment.html>