CONFERENCE RECORD,7TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANG - ACM (ACM NEW YORK, 1980)