Nice one - during my studies I was implementing the The Spineless Tagless G-machine in Haskell - @bartqk - maybe you can find this interesting / inspiring: http://ow.ly/OBXQ6. Or in general search for any paper by Simon L. Peyton Jones. (like this one: http://ow.ly/OBY0K)