Personal tools

Ministg

From HaskellWiki

Revision as of 13:49, 19 August 2009 by Bjpop (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Ministg

Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine. The STG machine is the abstract machine at the core of GHC. The operational semantics used in Ministg is taken from the paper "Making a fast curry: push/enter vs. eval/apply for higher-order languages", by Simon Marlow and Simon Peyton Jones.