Unifying Guarded and Unguarded Iteration.

Sergey Goncharov, Lutz Schrder, Christoph Rauch, Maciej Pirg

Browse the full FOSSACS paper archive.