Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation
ACM Digital Library