Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
ACM Digital Library