Publications
Filter by
Open menu
1 result for
Joel Galenson
Programming with angelic nondeterminism
Rastislav Bodik
Satish Chandra
et al.
2010
POPL 2010