Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ACM Digital Library