Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Appel, Andrew W. (ACM,)