The 34th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL '2007). Papers presented at the symposium, january 17-19, 2007, French Riviera, Nice, France. Volume 42 number 1. - Association for computing machinery Press, 2007. - ( ACM SIGPLAN Notices ; 42).