Faster laziness using dynamic pointer tagging
Simon Marlow, Alexey Rodriguez Yakushev, Simon Peyton Jones · 2007
In the light of evidence that Haskell programs compiled by GHC exhibit large numbers of mispredicted branches on modern processors, we re-examine the "tagless" aspect of the STG-machine that GHC uses as its evaluation model.