A Semantics for Hybrid Iteration.

Sergey Goncharov, Julian Jakob, Renato Neves

Browse the full CONCUR paper archive.