“...ACM Symposium on Principles of Programming Languages San Antonio, Texas)...”