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