PLT Redex definition of an STG-like language, as-per the fast curry paper.

Authored by ezyang on Jan 15 2014, 3:29 PM.

Description

PLT Redex definition of an STG-like language, as-per the fast curry paper.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

Details

Committed
ezyangJan 15 2014, 3:29 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFd1712dbd2b4c: In rts/Printer.c, print exact UPDATE_FRAME type
Branches
Unknown
Tags
Unknown