@proceedings {DBLP:conf/popl/2010,
	title = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010},
	year = {2010},
	publisher = {ACM},
	isbn = {978-1-60558-479-9},
	url = {http://dl.acm.org/citation.cfm?id=1706299},
	editor = {Manuel V. Hermenegildo and Jens Palsberg}
}
