Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
ACM Digital Library