summaryrefslogtreecommitdiff
path: root/docs/stg-spec
Commit message (Expand)AuthorAgeFilesLines
* Add cost semantics for STG profiling.Edward Z. Yang2015-01-275-0/+450
* PLT Redex definition of an STG-like language, as-per the fast curry paper.Edward Z. Yang2014-01-151-0/+247