Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
ACM Digital Library