Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation - Knoop, Jens (Association for Computing Machinery, 2002)