Understanding STG

Question

The design of GHC is based on something called STG, which stands for \"spineless, tagless G-machine\".

Now G-machine is apparently short for \"graph reduction machine\",

Answer 1

You want to read SPJ's book about functional PL implementation:

• http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/index.htm