Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
ACM Digital Library