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)