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