ACM Symposium on Principles of Programming Languages (7th 1980 Las Vegas, Nev.)