Not a PPL but I’ve been hacking on a little effects-based model checker for concurrent data structures that implements dynamic partial order reduction (GitHub - sadiqj/dscheck - a WIP!). Multi-shot continuations would have been very useful.
I ended up implementing something that involves maintaining a schedule and repeatedly replaying the computation. It looks very similar to what Capturing the future… proposes.