Author here. You'd be hard-pressed to find an example in the literature that I _haven't_ already heard of, I've been researching this for a few years now.
STM certainly makes temporal programming easier, though it's not universally available and I'm not sure to what extent it will scale up to be performant enough for large-scale use - how many megabytes can I commit in a transaction before I hit some hardware limit.
SSA is a very valuable formalism for describing the interrelation of changing local variables inside an imperative function, but it's difficult to apply program-wide when you're dealing with large data structures and complex call stacks.
STM certainly makes temporal programming easier, though it's not universally available and I'm not sure to what extent it will scale up to be performant enough for large-scale use - how many megabytes can I commit in a transaction before I hit some hardware limit.
SSA is a very valuable formalism for describing the interrelation of changing local variables inside an imperative function, but it's difficult to apply program-wide when you're dealing with large data structures and complex call stacks.