Author: Acm Symposium on Principles of Programming Languages