Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine でも読んだら?