Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - Burke, Michael (Association for Computing Machinery, 2001)