PLDI '14 proceedings of the 2014 ACM SIGPLAN Conference on Programming Language Design and Implementation : Edinburgh, United Kingdom, June 9-11, 2014 / - Languages, ACM Special Interest Group on Programming. (ACM,)