Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - White, John. (ACM,)