Conference record of the 7th annual ACM symposium on Principles of programming languages, papers presented at the symposium Las Vegas, Nevada, January 28-30, 1980. PPL 80. - Association for computing machinery Press, 1980. - ( ACM SIGPLAN Notices ).