Proceedings of the ACM SIGPLAN '01 conference on programming language design and implementation (PLDI) : SNOWBIRD, UTAH, JUNE 20-22, 2001. (ACM,Inc, 2001)