Programming with angelic nondeterminism.

Rastislav Bodk, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor

Browse the full POPL paper archive.