13th annual ACM symposium on Principles of programming languages, papers presented at the symposium, Trade Winds Hotel, St Petersburg beach, Florida, 13-15 january 1986. PPL 86. - Association for computing machinery Press, 1986. - ( ACM SIGPLAN Notices ).