Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Jones, Neil D. (ACM,)