Casey Rodarmor

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor
Programming with angelic nondeterminism. POPL (2010)