Specification of GHC's spineless tagless G-machine and its cost semantics - View it on GitHub