この資料をSMS送信: Conference record of POPL ... ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.