POPL'10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, held in Madrid, Spain, January 17-23, 2010. Volume 45, number 1. - Association for computing machinery Press, 2010. - ( ACM SIGPLAN Notices ; 45).