Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation