POPL 2010: 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages