PLT Redex definition of STG as per fast curry paper

[Carter Schonwald]

Very cool! Thanks for sharing!


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/192f1d2d/attachment.html>