GHC's Haskell execution model (Federico)

The meetup will be about the Haskell execution model as implemented by GHC. Most of this model is described in the paper "Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-machine (http://research.microsoft.com/apps/pubs/default.aspx?id=67083)".

People are not required to read this paper to join the meetup. The people who have read the paper will explain its content. If somebody would like an easy 17" introduction before the meetup, then we
recommend this video about the STG language (http://video.google.com/videoplay?docid=-2701204964659708761) (from Hackathon presentations (http://hackage.haskell.org/trac/ghc/wiki/AboutVideos))