この資料をSMS送信: Conference record of the ... Annual ACM Symposium on Principles of Programming Languages /