Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
ACM Digital Library