PLT Redex definition of STG as per fast curry paper

[Edward Kmett]

Neat!

I wish we'd had this a couple of years ago when Dylan Lukes was playing
around with his STG-like toy.

-Edward


On Wed, Jan 15, 2014 at 4:34 PM, Edward Z. Yang <ezyang at mit.edu> wrote:

> For those of you who aren't following the commit list, I've just pushed
> a PLT Redex <http://redex.racket-lang.org/> definition for an STG-like
> language as was defined in the fast curry paper.  This language is *not*
> STG.  The hope is that this will be a good starting point for actually
> formalizing STG as it exists today.  I've included a hefty comment block
> at the top of the development summarizing ways in which this could be
> improved.  Take a look if you're interested!
>
> Cheers,
> Edward
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140115/a5e40e91/attachment.html>