Proceedings of the 38th annual SIGPLAN-SIGACT symposium on principles of programming languages (POPL'11) held in Austin, Texas, USA on January 26-28, 2011. - Association for computing machinery Press, 2011.