Title: Conference Record of the 13th Annual Acm Symposium on Principles of Programming Languages, 1986