Programming with angelic nondeterminism
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

POPL 2010
Full names Links ISxN
	author        = "Rastislav Bodík and Satish Chandra and Joel Galenson and Doug Kimelman and Nicholas Tung and Shaon Barman and Casey Rodarmor",
	booktitle     = "{Proceedings of the 37th Symposium on Principles of Programming Languages}",
	doi           = "10.1145/1706299.1706339",
	editor        = "Manuel V. Hermenegildo and Jens Palsberg",
	isbn          = "978-1-60558-479-9",
	pages         = "339--352",
	publisher     = "{ACM}",
	title         = "{Programming with angelic nondeterminism}",
	year          = 2010,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.