Conference paper
Programming with angelic nondeterminism
Rastislav Bodik, Satish Chandra, et al.
POPL 2010
Rastislav Bodik, Satish Chandra, et al.
POPL 2010
Andrew P. Black, Theo D'Hondt, et al.
SPLASH 2012
Sam Adams, Suparna Bhattacharya, et al.
ECOOP 2013
David Ungar, Doug Kimelman, et al.
SPLASH 2012