POPL '08 proceedings of the 35th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : San Francisco, California, USA, January 7-12, 2008 / - Languages, ACM Special Interest Group on Programming. (ACM,)