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