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