發送短信 : Conference record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages :