“...ACM Symposium on Principles of Programming Languages San Diego, Kalifornie)...”