Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages