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