Title: conference record of the second acm symposium on principles of programming languages