Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - Sarkar, Vivek (Association for Computing Machinery, 2005)