Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
ACM Digital Library