Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
ACM Digital Library