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