POPL '15 proceedings of the 42nd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 12-18, 2015, Mumbai, India / - Languages, ACM Special Interest Group on Programming. (ACM,)