Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - O'Boyle, Michael (Association for Computing Machinery, 2014)