Symposium on Principles of Programming Languages