Controlling loops in parallel mercury code.

Paul Bone, Zoltan Somogyi, Peter Schachte

Browse the full POPL paper archive.