Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - Giacobazzi, Roberto (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Programming Languages; ACM Special Interest Group on Algorithms and Computation Theory (ACM, 2013)