Oh wow, this reminds me of Jefferson’s time warp (virtual time), but that was more for dealing with inconsistencies brought about by concurrent processing.

https://dl.acm.org/doi/10.1145/37499.37508

I wrote a paper with Jonathan Edwards around the concept of managed time a while back also:

https://www.microsoft.com/en-us/research/publication/program...

But this is more like time traveling as an explicit first class thing, rather than just a way to make things consistent wrt to concurrency or live programming. I don’t think first-class time travel has been explored so much yet.