Conference paper
Programming with angelic nondeterminism
Rastislav Bodik, Satish Chandra, et al.
POPL 2010
Rastislav Bodik, Satish Chandra, et al.
POPL 2010
Darrell Reimer, Edith Schonberg, et al.
OOPSLA 2004
Guoqing Xu, Nick Mitchell, et al.
PLDI 2010
Doug Kimelman, Harold Ossher, et al.
OOPSLA 2010