You are about to access our book library "Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08) (SIGPLAN Notices, Volume 43, Number 1, January 2008) full version" .