Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages