ICFP '04: ACM SIGPLAN International Conference on Functional Programming 2004