ACM Symposium on Principles of Programming Languages