أرسل هذا في رسالة قصيرة: Conference record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages :