[Haskell-cafe] "Circular" programming (aka time-travel) resources?

[Justin Bailey]

In "The Monad.Reader - Issue 6", that just came out, there is a really
interesting article that uses a "circular" technique to implement an
assembly language in Haskell. The technique demonstrated seems
fascinating. Can someone point me to more resources on the topic?

A quick google search turned up a couple of blogs and some papers -
but is there more out there?

Thanks for any help!

Justin